404 |
bother anybody with that silly page. */ |
bother anybody with that silly page. */ |
405 |
sigma0_get_fpage (l4_fpage (0, getpagesize ())); |
sigma0_get_fpage (l4_fpage (0, getpagesize ())); |
406 |
|
|
|
while (get_mem_size >= 10 |
|
|
&& ! ((1 << get_mem_size) & l4_page_size_mask ())) |
|
|
get_mem_size--; |
|
|
|
|
407 |
do |
do |
408 |
{ |
{ |
409 |
l4_thread_id_t from; |
l4_thread_id_t from; |
456 |
{ |
{ |
457 |
fpage = sigma0_get_any (get_mem_size); |
fpage = sigma0_get_any (get_mem_size); |
458 |
if (fpage.raw == l4_nilpage.raw) |
if (fpage.raw == l4_nilpage.raw) |
459 |
{ |
get_mem_size--; |
|
get_mem_size--; |
|
|
while (get_mem_size >= 10 |
|
|
&& ! ((1 << get_mem_size) & l4_page_size_mask ())) |
|
|
get_mem_size--; |
|
|
} |
|
460 |
} |
} |
461 |
while (fpage.raw == l4_nilpage.raw && get_mem_size >= 10); |
while (fpage.raw == l4_nilpage.raw && get_mem_size >= 10); |
462 |
|
|