if (!need_resched() && !hlt_counter)
if (!need_resched() && !hlt_counter) { timer_dyn_reprogram();
void default_idle(void){	local_irq_disable();	if (!need_resched() && !hlt_counter)		arch_idle();	local_irq_enable();}