- // reserve higher half
- for (size_t i = L1_INDEX(KERNEL_EXEC); i < 1023; i++) {
- assert(vmm_set_mapping(VMS_SELF, i << 22, 0, 0, VMAP_NOMAP));
- }
+ pte_t* ptep = mkptep_va(VMS_SELF, KERNEL_RESIDENT);
+ ptep = mkl0tep(ptep);
+
+ do {
+#if LnT_ENABLED(1)
+ assert(mkl1t(ptep++, 0, KERNEL_DATA));
+#elif LnT_ENABLED(2)
+ assert(mkl2t(ptep++, 0, KERNEL_DATA));
+#elif LnT_ENABLED(3)
+ assert(mkl3t(ptep++, 0, KERNEL_DATA));
+#else
+ assert(mklft(ptep++, 0, KERNEL_DATA));
+#endif
+ } while (ptep_vfn(ptep) < MAX_PTEN - 2);