43 |
extern l4_word_t wortel_end; |
extern l4_word_t wortel_end; |
44 |
|
|
45 |
|
|
46 |
|
/* Unused memory. These fpages mark memory which we needed at some |
47 |
|
time, but don't need anymore. It can be granted to the physical |
48 |
|
memory server at startup. This includes architecture dependent |
49 |
|
boot data as well as the physical memory server module. */ |
50 |
|
#define MAX_UNUSED_FPAGES 32 |
51 |
|
extern l4_fpage_t wortel_unused_fpages[MAX_UNUSED_FPAGES]; |
52 |
|
extern unsigned int wortel_unused_fpages_count; |
53 |
|
|
54 |
|
|
55 |
/* Room for the arguments. 1 KB is a cramped half-screen full, which |
/* Room for the arguments. 1 KB is a cramped half-screen full, which |
56 |
should be more than enough. Arguments need to be copied here by |
should be more than enough. Arguments need to be copied here by |
57 |
the architecture dependent find_components, so all precious data is |
the architecture dependent find_components, so all precious data is |