/* This file handles the architecture-dependent parts of process handling..  */
void cpu_idle(void)
/* This file handles the architecture-dependent parts of process handling..  */
void cpu_idle(void)
{
	while (1) {
		tick_nohz_stop_sched_tick(1);
		while (!need_resched())
			cpu_idle_sleep();
		tick_nohz_restart_sched_tick();
		preempt_enable_no_resched();
		schedule();
		preempt_disable();
	}
}