Searched refs:pvti_gpa (Results 1 – 1 of 1) sorted by relevance
139 vm_paddr_t pvti_gpa; in main() local151 pvti_gpa = addr_gva2gpa(vm, pvti_gva); in main()152 vcpu_args_set(vcpu, 2, pvti_gpa, pvti_gva); in main()