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