/trunk/kernel/arch/ia32/src/mm/page.c |
---|
68,10 → 68,10 |
} |
exc_register(14, "page_fault", (iroutine) page_fault); |
write_cr3((uintptr_t) AS_KERNEL->page_table); |
write_cr3((uintptr_t) AS_KERNEL->genarch.page_table); |
} |
else { |
write_cr3((uintptr_t) AS_KERNEL->page_table); |
write_cr3((uintptr_t) AS_KERNEL->genarch.page_table); |
} |
paging_on(); |