Symbol: VCPU_STATE_UNKNOWN
usr/src/uts/i86pc/os/mp_pc.c
687
return (VCPU_STATE_UNKNOWN);
usr/src/uts/i86xpv/os/mp_xen.c
148
int ret = VCPU_STATE_UNKNOWN;