addr_gva2gpa
einj_gpa = addr_gva2gpa(vm, EINJ_GVA);
return addr_gpa2hva(vm, addr_gva2gpa(vm, gva));
val = addr_gva2gpa(vm, (unsigned long)handle_tlb_refill);
hv->vp_assist_gpa = addr_gva2gpa(vm, (uintptr_t)hv->vp_assist);
hv->partition_assist_gpa = addr_gva2gpa(vm, (uintptr_t)hv->partition_assist);
hv->enlightened_vmcs_gpa = addr_gva2gpa(vm, (uintptr_t)hv->enlightened_vmcs);
svm->vmcb_gpa = addr_gva2gpa(vm, (uintptr_t)svm->vmcb);
svm->save_area_gpa = addr_gva2gpa(vm, (uintptr_t)svm->save_area);
svm->msr_gpa = addr_gva2gpa(vm, (uintptr_t)svm->msr);
vmx->msr_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->msr);
vmx->shadow_vmcs_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->shadow_vmcs);
vmx->vmread_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->vmread);
vmx->vmwrite_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->vmwrite);
vmx->apic_access_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->apic_access);
vmx->vmxon_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->vmxon);
vmx->vmcs_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->vmcs);
snapshot_gpa = addr_gva2gpa(vcpu->vm, (gva_t)snapshot_gva);
__desc.gaddr = addr_gva2gpa(__info.vm, __desc.gaddr_v); \
st_gpa[i] = addr_gva2gpa(vcpu->vm, (gva_t)st_gva[i]);
TEST_ASSERT((addr_gva2gpa(vm, tsc_page_gva) & (getpagesize() - 1)) == 0,
vcpu_args_set(vcpu, 2, tsc_page_gva, addr_gva2gpa(vm, tsc_page_gva));
vcpu_args_set(vcpu, 3, vmx_pages_gva, hv_pages_gva, addr_gva2gpa(vm, hcall_page));
vcpu_args_set(vcpu, 3, addr_gva2gpa(vm, hcall_in_page),
addr_gva2gpa(vm, hcall_out_page), hcall_out_page);
vcpu_args_set(vcpu, 2, addr_gva2gpa(vm, hcall_page), hcall_params);
vcpu_args_set(vcpu[1], 2, hcall_page, addr_gva2gpa(vm, hcall_page));
vcpu_args_set(vcpu[2], 2, hcall_page, addr_gva2gpa(vm, hcall_page));
vcpu_args_set(vcpu[0], 2, hcall_page, addr_gva2gpa(vm, hcall_page));
vcpu_args_set(vcpu, 3, nested_gva, hv_pages_gva, addr_gva2gpa(vm, hcall_page));
data->hcall_gpa = addr_gva2gpa(vm, data->hcall_gva);
pvti_gpa = addr_gva2gpa(vm, pvti_gva);
expected_fault_gpa = addr_gva2gpa(vm, l2_test_page);
expected_fault_gpa = addr_gva2gpa(vm, l2_test_page);