| CPU_IDLE(9) | Kernel Developer's Manual | CPU_IDLE(9) | 
cpu_idle() returns immediately if cpu_need_resched() has been called for the processor after the last call of cpu_idle() or cpu_did_resched() on the processor. cpu_idle() returns as soon as possible when cpu_need_resched() is called for the processor. Otherwise, it returns whenever it likes.
cpu_idle() is called at IPL_NONE, without any locks held.
	void 
	cpu_idle(void) 
	{ 
		/* nothing */ 
	}
| April 20, 2007 | NetBSD 6.1 |