TEST_GVA
uint64_t addr = TEST_GVA - 8;
GUEST_ASSERT_EQ(addr, TEST_GVA);
uint64_t addr = TEST_GVA - 8;
GUEST_ASSERT_EQ(addr, TEST_GVA);
flush_tlb_page(TEST_GVA);
#define TEST_EXEC_GVA (TEST_GVA + 0x8)
static uint64_t *guest_test_memory = (uint64_t *)TEST_GVA;
pte_gpa = addr_hva2gpa(vm, virt_get_pte_hva(vm, TEST_GVA));
assert(TEST_EXEC_GVA > TEST_GVA);
code = hva + TEST_EXEC_GVA - TEST_GVA;
virt_pg_map(vm, TEST_GVA, region->region.guest_phys_addr);
pte_gpa = addr_hva2gpa(vm, virt_get_pte_hva(vm, TEST_GVA));
*vm_get_pte(vm, TEST_GVA(0)) |= PTE_DIRTY_MASK(&vm->mmu);
*vm_get_pte(vm, TEST_GVA(1)) |= PTE_DIRTY_MASK(&vm->mmu);