50,6 → 50,7 |
size_t hardcoded_unmapped_kdata_size = 0; |
|
uintptr_t last_frame = 0; |
uintptr_t end_frame = 0; |
|
static void init_e820_memory(pfn_t minconf) |
{ |
73,8 → 74,10 |
e820table[i].size, FRAME_SIZE)) |
last_frame = |
ALIGN_UP(e820table[i].base_address + e820table[i].size, FRAME_SIZE); |
} |
} |
} |
|
end_frame = last_frame; |
} |
|
static char *e820names[] = { |
113,6 → 116,7 |
|
if (config.cpu_active == 1) { |
minconf = 1; |
|
#ifdef CONFIG_SMP |
minconf = max(minconf, |
ADDR2PFN(AP_BOOT_OFFSET + hardcoded_unmapped_ktext_size + |
119,7 → 123,7 |
hardcoded_unmapped_kdata_size)); |
#endif |
init_e820_memory(minconf); |
|
|
/* Reserve frame 0 (BIOS data) */ |
frame_mark_unavailable(0, 1); |
|