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