Searched refs:wfi_fast (Results 1 – 2 of 2) sorted by relevance
73 unsigned wfi_fast = 1; variable159 cpu_idle_wfi((boolean_t) wfi_fast); in cpu_idle()549 wfi_fast = 0; in cpu_machine_idle_init()
813 extern void cpu_idle_wfi(boolean_t wfi_fast);