Searched refs:pvti_gva (Results 1 – 1 of 1) sorted by relevance
181 vm_vaddr_t pvti_gva; in main() local197 pvti_gva = vm_vaddr_alloc(vm, getpagesize(), 0x10000); in main()198 pvti_gpa = addr_gva2gpa(vm, pvti_gva); in main()199 vcpu_args_set(vm, VCPU_ID, 2, pvti_gpa, pvti_gva); in main()