Symbol: smt_mark_as_vcpu
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
562
smt_mark_as_vcpu();
usr/src/uts/intel/sys/smt.h
45
extern void smt_mark_as_vcpu(void);