if (current_cpu_data.cpuid_level < CPUID_MWAIT_LEAF)
return;
native_irq_disable();
eax = CPUID_MWAIT_LEAF;
ecx = 0;
native_cpuid(&eax, &ebx, &ecx, &edx);
__monitor(mwait_ptr, 0, 0);
mb();
__mwait(eax, 0);
}