/kernel/trunk/arch/ia32/src/mm/frame.c |
---|
53,7 → 53,14 |
#ifdef CONFIG_SMP |
/* Reserve AP real mode bootstrap memory */ |
frame_region_not_free(AP_BOOT_OFFSET, hardcoded_unmapped_ktext_size + hardcoded_unmapped_kdata_size); |
#ifdef CONFIG_SIMICS_FIX |
/* Don't know why, but this addresses help */ |
frame_region_not_free(0xf000,FRAME_SIZE); |
frame_region_not_free(0xe000,FRAME_SIZE); |
frame_region_not_free(0xd000,FRAME_SIZE); |
#endif |
#endif |
for (i = 0; i < e820counter; i++) { |
if (e820table[i].type == MEMMAP_MEMORY_AVAILABLE) { |