-
- // Identity-map the first 3GiB address spaces
- pte_t* ptep = mkl0tep(mkptep_va(VMS_SELF, 0));
- pte_t pte = mkpte_prot(KERNEL_DATA);
- size_t count = page_count(KERNEL_RESIDENT, L0T_SIZE);
-
- vmm_set_ptes_contig(ptep, pte_mkhuge(pte), L0T_SIZE, count);