92 |
/* Print a debug message. */ |
/* Print a debug message. */ |
93 |
#define debug(...) do { if (debug) printf (__VA_ARGS__); } while (0) |
#define debug(...) do { if (debug) printf (__VA_ARGS__); } while (0) |
94 |
|
|
95 |
|
/* 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 |
97 |
|
with existing regions, unless FORCE is true. */ |
98 |
|
void loader_add_region (char *name, l4_word_t start, l4_word_t end, int force); |
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 |
102 |
memory, checking for overlaps. Update the start and end |
memory, checking for overlaps. Update the start and end |
103 |
information with the information from the ELF program, and fill in |
information with the information from the ELF program, and fill in |