diff --git a/hypervisor/common/schedule.c b/hypervisor/common/schedule.c index 1a516524e..c7d949476 100644 --- a/hypervisor/common/schedule.c +++ b/hypervisor/common/schedule.c @@ -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(); + } } }