Searched refs:cpuid_gva (Results 1 – 1 of 1) sorted by relevance
188 vm_vaddr_t cpuid_gva; in main() local196 vcpu_alloc_cpuid(vm, &cpuid_gva, vcpu->cpuid); in main()198 vcpu_args_set(vcpu, 1, cpuid_gva); in main()