TEST_PTE_GVA
*((uint64_t *)TEST_PTE_GVA) &= ~PTE_AF;
GUEST_ASSERT_EQ(*((uint64_t *)TEST_PTE_GVA) & PTE_AF, PTE_AF);
virt_pg_map(vm, TEST_PTE_GVA, pte_gpa);