acpi_cpu_idle_mwait
acpi_cpu_idle_mwait(cx_next->mwait_hint);
void acpi_cpu_idle_mwait(uint32_t mwait_hint);