STATE_MWAIT
atomic_store_int(state, STATE_MWAIT);
if (atomic_load_int(state) == STATE_MWAIT)
if (cpu_idle_enter(state, STATE_MWAIT)) {
if (atomic_load_int(state) == STATE_MWAIT)
case STATE_MWAIT: