Symbol: MWAIT_WAKEUP_IPI
usr/src/uts/i86pc/os/cpupm/cpu_idle.c
300
if (*mcpu_mwait != MWAIT_WAKEUP_IPI) {
usr/src/uts/i86pc/os/cpupm/cpu_idle.c
407
mwait_idle_state = MWAIT_WAKEUP_IPI;