370 |
memory is available. */ |
memory is available. */ |
371 |
unsigned int get_mem_size = sizeof (l4_word_t) * 8 - 1; |
unsigned int get_mem_size = sizeof (l4_word_t) * 8 - 1; |
372 |
|
|
373 |
|
/* Allocate a single page at address 0, because we don't want to |
374 |
|
bother anybody with that silly page. */ |
375 |
|
sigma0_get_fpage (l4_fpage (0, getpagesize ())); |
376 |
|
|
377 |
while (get_mem_size >= 10 |
while (get_mem_size >= 10 |
378 |
&& ! ((1 << get_mem_size) & l4_page_size_mask ())) |
&& ! ((1 << get_mem_size) & l4_page_size_mask ())) |
379 |
get_mem_size--; |
get_mem_size--; |
409 |
/* No reply needed. */ |
/* No reply needed. */ |
410 |
continue; |
continue; |
411 |
} |
} |
412 |
else if (WORTEL_MSG_GET_MEM) |
else if (label == WORTEL_MSG_GET_MEM) |
413 |
{ |
{ |
414 |
l4_fpage_t fpage; |
l4_fpage_t fpage; |
415 |
l4_grant_item_t grant_item; |
l4_grant_item_t grant_item; |