411 |
hurd_task_id_t server_task = (mod_idx < mods_count) |
hurd_task_id_t server_task = (mod_idx < mods_count) |
412 |
? l4_version (mods[mod_idx].main_thread) : 0; |
? l4_version (mods[mod_idx].main_thread) : 0; |
413 |
|
|
414 |
/* Allocate a single page at address 0, because we don't want to |
/* True if we need to remap the page at address 0. */ |
415 |
bother anybody with that silly page. */ |
int get_page_zero = 0; |
416 |
sigma0_get_fpage (l4_fpage (0, l4_min_page_size ())); |
int i; |
417 |
|
|
418 |
|
/* If a conventinal page with address 0 exists in the memory |
419 |
|
descriptors, allocate it because we don't want to bother anybody |
420 |
|
with that silly page. FIXME: We should eventually remap it to a |
421 |
|
high address and provide it to physmem. */ |
422 |
|
for (i = 0; i < loader_get_num_memory_desc (); i++) |
423 |
|
{ |
424 |
|
l4_memory_desc_t memdesc = loader_get_memory_desc (i); |
425 |
|
if (memdesc->low == 0) |
426 |
|
get_page_zero = (memdesc->type == L4_MEMDESC_CONVENTIONAL); |
427 |
|
} |
428 |
|
if (get_page_zero) |
429 |
|
sigma0_get_fpage (l4_fpage (0, l4_min_page_size ())); |
430 |
|
|
431 |
do |
do |
432 |
{ |
{ |