Symbol: x86_cpu_idle_mwait
sys/arch/x86/include/cpuvar.h
119
void x86_cpu_idle_mwait(void);
sys/arch/x86/x86/x86_machdep.c
557
x86_cpu_idle_set(x86_cpu_idle_mwait, "mwait", false);