53,7 → 53,7 |
{ |
uintptr_t cur; |
int flags; |
|
|
if (config.cpu_active == 1) { |
page_mapping_operations = &pt_mapping_operations; |
|
66,12 → 66,12 |
flags |= PAGE_GLOBAL; |
page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags); |
} |
|
|
exc_register(14, "page_fault", (iroutine) page_fault); |
write_cr3((uintptr_t) AS_KERNEL->genarch.page_table); |
} else |
write_cr3((uintptr_t) AS_KERNEL->genarch.page_table); |
|
|
paging_on(); |
} |
|
93,12 → 93,6 |
return virtaddr; |
} |
|
void hw_area(uintptr_t *physaddr, pfn_t *frames) |
{ |
*physaddr = end_frame; |
*frames = ADDR2PFN(0xffffffff - end_frame); |
} |
|
void page_fault(int n __attribute__((unused)), istate_t *istate) |
{ |
uintptr_t page; |