Symbol: CPU_MWAIT_C2
sys/platform/pc64/x86_64/machdep.c
3420
old_cx_idx = allow_auto ? CPU_MWAIT_C2 : CPU_MWAIT_CX_MAX;
sys/platform/pc64/x86_64/machdep.c
3450
cx_idx = CPU_MWAIT_C2;