Symbol: vcpu_cpuid_init
usr/src/uts/intel/io/vmm/sys/vmm_kernel.h
435
void vcpu_cpuid_init(vcpu_cpuid_config_t *);
usr/src/uts/intel/io/vmm/vmm.c
416
vcpu_cpuid_init(&vcpu->cpuid_cfg);