$ sysctl machdep.mwait.CX.c3_preamble hw.acpi.cpu0.cx_supported     # CONTROL boot
machdep.mwait.CX.c3_preamble: 3
hw.acpi.cpu0.cx_supported: C1/1
$ dmesg | grep -a -c "invalid mwait"
0

# (control boot = C1-only planted _CST + mwaitforce.ko preloaded, TCG
#  SandyBridge, identical to the attack boot except the _CST content:
#  mwaitforce: cpu_feature2 |= MON (0x9698220b), cpu_mwait_feature |= EXT|INTBRK (0x3)
#  cpu_cst0..5 attach normally)