//SPARTAN/trunk/arch/ia32/src/mm/frame.c |
---|
44,6 → 44,9 |
frame_region_not_free(0xa0000,0xff000); |
frame_region_not_free(0xfec00000,0xffffffff); |
/* This is a nasty hack, which should be fixed soon */ |
frame_region_not_free(0x9000, 0xa000); |
for (i=e820counter;i>0;i--) { |
if (e820table[i-1].type!=MEMMAP_MEMORY_AVAILABLE) { |
frame_region_not_free(e820table[i-1].base_address,e820table[i-1].size); |
//SPARTAN/trunk/arch/ia32/src/mm/page.c |
---|
37,6 → 37,7 |
#include <synch/spinlock.h> |
#include <debug.h> |
#include <memstr.h> |
#include <print.h> |
__address bootstrap_dba; |
50,7 → 51,7 |
memsetb(dba, PAGE_SIZE, 0); |
bootstrap_dba = dba; |
/* |
* Identity mapping for all frames. |
* PA2KA(identity) mapping for all frames. |