vm_untag_gpa
gpa = vm_untag_gpa(vm, gpa);
TEST_ASSERT(vm_untag_gpa(vm, gpa) == gpa,
return vm_untag_gpa(vm, PTE_GET_PA(*pte)) | (gva & ~HUGEPAGE_MASK(level));