43 |
/* Remove the region with the name NAME from the table. */ |
/* Remove the region with the name NAME from the table. */ |
44 |
void loader_remove_region (const char *name); |
void loader_remove_region (const char *name); |
45 |
|
|
46 |
|
/* Get the memory range to which the ELF image from START to END |
47 |
|
(exclusive) will be loaded. NAME is used for panic messages. */ |
48 |
|
void loader_elf_dest (const char *name, l4_word_t start, l4_word_t end, |
49 |
|
l4_word_t *new_start_p, l4_word_t *new_end_p); |
50 |
|
|
51 |
/* Load the ELF image from START to END into memory under the name |
/* Load the ELF image from START to END into memory under the name |
52 |
NAME (also used as the name for the region of the resulting ELF |
NAME (also used as the name for the region of the resulting ELF |
53 |
program). Return the lowest and highest address used by the |
program). Return the lowest and highest address used by the |