+
+ // 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);