94 |
|
|
95 |
/* Add the region with the name NAME from START to END to the table of |
/* Add the region with the name NAME from START to END to the table of |
96 |
regions to check against. Before doing that, check for overlaps |
regions to check against. Before doing that, check for overlaps |
97 |
with existing regions, unless FORCE is true. */ |
with existing regions. */ |
98 |
void loader_add_region (char *name, l4_word_t start, l4_word_t end, int force); |
void loader_add_region (char *name, l4_word_t start, l4_word_t end); |
99 |
|
|
100 |
|
|
101 |
/* Load the ELF images of the kernel and the initial servers into |
/* Load the ELF images of the kernel and the initial servers into |