/trunk/kernel/arch/amd64/src/pm.c |
---|
201,7 → 201,7 |
/* We are going to use malloc, which may return |
* non boot-mapped pointer, initialize the CR3 register |
* ahead of page_init */ |
write_cr3((uintptr_t) AS_KERNEL->page_table); |
write_cr3((uintptr_t) AS_KERNEL->genarch.page_table); |
tss_p = (struct tss *) malloc(sizeof(tss_t), FRAME_ATOMIC); |
if (!tss_p) |
/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); |
} |
} |