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