/SPARTAN/trunk/arch/ia32/src/mm/frame.c |
---|
37,10 → 37,6 |
void frame_arch_init(void) |
{ |
if (config.cpu_active == 1) { |
kernel_frames = frames; |
kernel_frames_free = frames_free; |
frame_kernel_bitmap = frame_bitmap; |
frame_not_free(0x0); |
frame_region_not_free(0xa0000,0xff000); |