vm_get_pte
uint64_t *vm_get_pte(struct kvm_vm *vm, uint64_t vaddr);
pte = vm_get_pte(vm, data->test_pages + i * PAGE_SIZE);
*vm_get_pte(vm, TEST_GVA(0)) |= PTE_DIRTY_MASK(&vm->mmu);
*vm_get_pte(vm, TEST_GVA(1)) |= PTE_DIRTY_MASK(&vm->mmu);
*vm_get_pte(vm, MEM_REGION_GVA) |= BIT_ULL(MAXPHYADDR);