addr_gva2hva
uint64_t hva = (uint64_t) addr_gva2hva(vm, gva);
einj_hva = addr_gva2hva(vm, EINJ_GVA);
memcpy(addr_gva2hva(vm, args_gva), &args, sizeof(args));
kvm_args_hva = (struct kvm_inject_args *)addr_gva2hva(vm, kvm_args_gva);
memcpy(addr_gva2hva(vm, args_gva), &args, sizeof(args));
typeof(g) *_p = addr_gva2hva(vm, (vm_vaddr_t)&(g)); \
typeof(g) *_p = addr_gva2hva(vm, (vm_vaddr_t)&(g)); \
typeof(g) *_p = addr_gva2hva(vm, (vm_vaddr_t)&(g)); \
void *addr_gva2hva(struct kvm_vm *vm, vm_vaddr_t gva);
current_stage = addr_gva2hva(vm, (vm_vaddr_t)(&guest_test_stage));
*(vm_vaddr_t *)addr_gva2hva(vm, (vm_vaddr_t)(&exception_handlers)) = vm->handlers;
struct handlers *handlers = addr_gva2hva(vm, vm->handlers);
struct handlers *handlers = addr_gva2hva(vm, vm->handlers);
memset(addr_gva2hva(vm, vaddr), 0, seg_size);
test_read(fd, addr_gva2hva(vm, phdr.p_vaddr),
addr = addr_gva2hva(vm, vm->handlers);
struct handlers *handlers = addr_gva2hva(vm, vm->handlers);
*(vm_vaddr_t *)addr_gva2hva(vm, (vm_vaddr_t)(&exception_handlers)) = vm->handlers;
struct handlers *handlers = addr_gva2hva(vm, vm->handlers);
struct handlers *handlers = addr_gva2hva(vm, vm->handlers);
hdr = (struct ucall_header *)addr_gva2hva(vm, vaddr);
struct hyperv_test_pages *hv = addr_gva2hva(vm, hv_pages_gva);
hv->vp_assist_hva = addr_gva2hva(vm, (uintptr_t)hv->vp_assist);
hv->partition_assist_hva = addr_gva2hva(vm, (uintptr_t)hv->partition_assist);
hv->enlightened_vmcs_hva = addr_gva2hva(vm, (uintptr_t)hv->enlightened_vmcs);
void *gdt = addr_gva2hva(vm, vm->arch.gdt);
(struct idt_entry *)addr_gva2hva(vm, vm->arch.idt);
*(vm_vaddr_t *)addr_gva2hva(vm, (vm_vaddr_t)(&exception_handlers)) = vm->handlers;
vm_vaddr_t *handlers = (vm_vaddr_t *)addr_gva2hva(vm, vm->handlers);
struct svm_test_data *svm = addr_gva2hva(vm, svm_gva);
svm->vmcb_hva = addr_gva2hva(vm, (uintptr_t)svm->vmcb);
svm->save_area_hva = addr_gva2hva(vm, (uintptr_t)svm->save_area);
svm->msr_hva = addr_gva2hva(vm, (uintptr_t)svm->msr);
vmx->shadow_vmcs_hva = addr_gva2hva(vm, (uintptr_t)vmx->shadow_vmcs);
vmx->vmread_hva = addr_gva2hva(vm, (uintptr_t)vmx->vmread);
vmx->vmwrite_hva = addr_gva2hva(vm, (uintptr_t)vmx->vmwrite);
vmx->apic_access_hva = addr_gva2hva(vm, (uintptr_t)vmx->apic_access);
struct vmx_pages *vmx = addr_gva2hva(vm, vmx_gva);
vmx->vmxon_hva = addr_gva2hva(vm, (uintptr_t)vmx->vmxon);
vmx->vmcs_hva = addr_gva2hva(vm, (uintptr_t)vmx->vmcs);
vmx->msr_hva = addr_gva2hva(vm, (uintptr_t)vmx->msr);
mprotect(addr_gva2hva(vm, (vm_vaddr_t)pages), PAGE_SIZE * 2, PROT_READ);
mprotect(addr_gva2hva(vm, (vm_vaddr_t)0), PAGE_SIZE, PROT_READ);
struct st_time *st = addr_gva2hva(vm, (ulong)st_gva[vcpu_idx]);
struct sta_struct *st = addr_gva2hva(vm, (ulong)st_gva[vcpu_idx]);
struct kvm_steal_time *st = addr_gva2hva(vm, (ulong)st_gva[vcpu_idx]);
struct kvm_steal_time *st = addr_gva2hva(vm, (ulong)st_gva[vcpu_idx]);
memset(addr_gva2hva(vm, amx_cfg), 0x0, getpagesize());
memset(addr_gva2hva(vm, tiledata), rand() | 1, 2 * getpagesize());
memset(addr_gva2hva(vm, xstate), 0, PAGE_SIZE * DIV_ROUND_UP(XSAVE_SIZE, PAGE_SIZE));
void *tiles_data = (void *)addr_gva2hva(vm, tiledata);
struct kvm_cpuid2 *guest_cpuids = addr_gva2hva(vm, gva);
memset(addr_gva2hva(vm, tsc_page_gva), 0x0, getpagesize());
memset(addr_gva2hva(vm, hcall_page), 0x0, getpagesize());
memset(addr_gva2hva(vm, hcall_in_page), 0x0, vm->page_size);
memset(addr_gva2hva(vm, hcall_out_page), 0x0, vm->page_size);
memset(addr_gva2hva(vm, msr_gva), 0x0, getpagesize());
msr = addr_gva2hva(vm, msr_gva);
memset(addr_gva2hva(vm, hcall_page), 0x0, 2 * getpagesize());
memset(addr_gva2hva(vm, hcall_params), 0x0, getpagesize());
hcall = addr_gva2hva(vm, hcall_params);
memset(addr_gva2hva(vm, hcall_page), 0x0, 2 * getpagesize());
memset(addr_gva2hva(vm, hcall_page), 0x0, getpagesize());
data = (struct test_data *)addr_gva2hva(vm, test_data_page);
memset(addr_gva2hva(vm, data->hcall_gva), 0x0, 2 * PAGE_SIZE);
memset(addr_gva2hva(vm, data->test_pages + PAGE_SIZE * i),
set_expected_val(addr_gva2hva(vm, data->test_pages), 0x0, WORKER_VCPU_ID_1);
set_expected_val(addr_gva2hva(vm, data->test_pages), 0x0, WORKER_VCPU_ID_2);
test_vmcb[i] = (struct vmcb *)addr_gva2hva(vm, TEST_VMCB_GVA(i));
hva = addr_gva2hva(vm, gva);
idt_alt = addr_gva2hva(vm, idt_alt_vm);
idt = addr_gva2hva(vm, vm->arch.idt);
params->p_i_ucna_rcvd = (uint64_t *)addr_gva2hva(vm, (uint64_t)&i_ucna_rcvd);
params->p_i_ucna_addr = (uint64_t *)addr_gva2hva(vm, (uint64_t)&i_ucna_addr);
params->p_ucna_addr = (uint64_t *)addr_gva2hva(vm, (uint64_t)&ucna_addr);
params->p_ucna_addr2 = (uint64_t *)addr_gva2hva(vm, (uint64_t)&ucna_addr2);
data = addr_gva2hva(vm, test_data_page_vaddr);
pipis_rcvd = (uint64_t *)addr_gva2hva(vm, (uint64_t)&ipis_rcvd);