idle: enable IRQ in default idle
we should let cpu handle IRQ during idle
@@ -176,8 +176,11 @@ void default_idle(void)
schedule();
} else if (need_offline(pcpu_id) != 0) {
cpu_dead(pcpu_id);
- } else
+ } else {
+ CPU_IRQ_ENABLE();
cpu_do_idle(pcpu_id);
+ CPU_IRQ_DISABLE();
+ }
}
}
