for (size_t i = start_pn; i <= end_pn; i++) {
pte_t* self = mkptep_pn(VMS_SELF, i);
pte_t* guest = mkptep_pn(VMS_MOUNT_1, i);
for (size_t i = start_pn; i <= end_pn; i++) {
pte_t* self = mkptep_pn(VMS_SELF, i);
pte_t* guest = mkptep_pn(VMS_MOUNT_1, i);