/trunk/kernel/arch/amd64/src/mm/page.c |
---|
111,10 → 111,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); |
} |
} |