CPU_MWAIT_HAS_CX
if (!CPU_MWAIT_HAS_CX)
if (!CPU_MWAIT_HAS_CX)
KASSERT(CPU_MWAIT_HAS_CX, ("cpu does not support mwait CX extension"));
if (!CPU_MWAIT_HAS_CX)
if (!CPU_MWAIT_HAS_CX)