Symbol: vm_get_cpuid
usr/src/uts/intel/io/vmm/sys/vmm_kernel.h
429
int vm_get_cpuid(struct vm *, int, vcpu_cpuid_config_t *);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
1277
error = vm_get_cpuid(sc->vmm_vm, vcpu, &vm_cfg);