Searched refs:nested_gva (Results 1 – 2 of 2) sorted by relevance
128 vm_vaddr_t nested_gva; in main() local136 vcpu_alloc_vmx(vm, &nested_gva); in main()138 vcpu_alloc_svm(vm, &nested_gva); in main()140 vcpu_args_set(vcpu, 1, nested_gva); in main()
228 vm_vaddr_t nested_gva = 0; in main() local244 vcpu_alloc_svm(vm, &nested_gva); in main()246 vcpu_alloc_vmx(vm, &nested_gva); in main()249 if (!nested_gva) in main()252 vcpu_args_set(vcpu, 1, nested_gva); in main()