some quest about L4 concepts and marzipan

  It is said in L4 reference X.2 that sigma0 gives pages to the kernel and to
arbitrary tasks, but only once. The idea is that all pagers request the memory they
need in the startup phase of the system so that afterwards sigma0 has exhausted
all its memory. Further requests will then automatically be denied. I want to
know what  is meant by "give" . Does it mean that if a task has request a region
through L4_sigma0_getpage() call, then the region can not be requested by any
other task?
   In the source code of resourcemon, I found that grab_all_memory() function
had request all the memory from sigma0 throuth L4_sigma0_getany() call. However
in member function vm_t::install_elf_binary(), the function L4_sigma0_getpage()
was called again to remap client shared. According to what was said in L4
reference ,the region requested should have been exhausted, the remap procedure
should fail. Is  my opinion right?