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