/* Powermanagement idle function, if any is provided by the platform.  */
void cpu_idle(void)
/* Powermanagement idle function, if any is provided by the platform.  */
void cpu_idle(void)
{
  	local_irq_enable();
	while (1) {
		while (!need_resched())
			platform_idle();
		preempt_enable_no_resched();
		schedule();
		preempt_disable();
	}
}