Searched refs:nested_test_data_gva (Results 1 – 1 of 1) sorted by relevance
219 vm_vaddr_t nested_test_data_gva; in main() local231 vcpu_alloc_svm(vm, &nested_test_data_gva); in main()233 vcpu_alloc_vmx(vm, &nested_test_data_gva); in main()235 vcpu_args_set(vcpu, 1, nested_test_data_gva); in main()