Barrelfish
|
x86-64 kernel page-table setup More...
Functions | |
void | paging_x86_64_reset (void) |
Reset kernel paging. More... | |
void | paging_x86_64_make_good_pml4 (lpaddr_t base) |
Make a "good" PML4 table out of a page table. More... | |
x86-64 kernel page-table setup
void paging_x86_64_make_good_pml4 | ( | lpaddr_t | base | ) |
Make a "good" PML4 table out of a page table.
A "good" PML4 table is one that has all physical address space and the kernel mapped in. This function modifies the passed PML4, based at physical address 'base' accordingly. It does this by taking out the corresponding entries of the kernel's pristine PML4 table.
base | Physical base address of PML4 table to make "good". |
void paging_x86_64_reset | ( | void | ) |
Reset kernel paging.
This function resets the page maps for kernel and memory-space. It clears out all other mappings. Use this only at system bootup!