// define the initial page table layout
struct kernel_map {
pte_t l0t[_PAGE_LEVEL_SIZE];
+ pte_t pg_mnt[_PAGE_LEVEL_SIZE];
struct {
pte_t _lft[_PAGE_LEVEL_SIZE];
// XXX: Mapping the kernel .rodata section?
+ // set mount point
+ pte_t* kmntep = (pte_t*) &kpt_pa->l0t[pfn_at(PG_MOUNT_1, L0T_SIZE)];
+ set_pte(kmntep, mkpte((ptr_t)kpt_pa->pg_mnt, KERNEL_DATA));
+
// Build up self-reference
pte = mkpte_root((ptr_t)kpt_pa, KERNEL_DATA);
set_pte(boot_l0tep + _PAGE_LEVEL_MASK, pte);