/* we use this if we don't have any better idle routine  */
static void default_idle(void)
/* we use this if we don't have any better idle routine  */
static void default_idle(void)
{
	local_irq_disable();
	if (!need_resched())
		safe_halt();
	else
		local_irq_enable();
}