Searched refs:MP_IDLE (Results 1 – 2 of 2) sorted by relevance
42 MP_IDLE, enumerator
131 DBGLOG(cpu_handle, cpu_number(), MP_IDLE); in machine_idle()