Searched refs:cpuid_gva (Results 1 – 1 of 1) sorted by relevance
220 gva_t cpuid_gva; in main() local 228 vcpu_alloc_cpuid(vm, &cpuid_gva, vcpu->cpuid); in main() 230 vcpu_args_set(vcpu, 1, cpuid_gva); in main()