38 |
/* 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 |
39 |
regions to check against. Before doing that, check for overlaps |
regions to check against. Before doing that, check for overlaps |
40 |
with existing regions. */ |
with existing regions. */ |
41 |
void loader_add_region (char *name, l4_word_t start, l4_word_t end); |
void loader_add_region (const char *name, l4_word_t start, l4_word_t end); |
42 |
|
|
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); |
48 |
program). Return the lowest and highest address used by the |
program). Return the lowest and highest address used by the |
49 |
program in NEW_START_P and NEW_END_P, and the entry point in |
program in NEW_START_P and NEW_END_P, and the entry point in |
50 |
ENTRY. */ |
ENTRY. */ |
51 |
void loader_elf_load (char *name, l4_word_t start, l4_word_t end, |
void loader_elf_load (const char *name, l4_word_t start, l4_word_t end, |
52 |
l4_word_t *new_start_p, l4_word_t *new_end_p, |
l4_word_t *new_start_p, l4_word_t *new_end_p, |
53 |
l4_word_t *entry); |
l4_word_t *entry); |
54 |
|
|