diff --git a/src/kern/sched.zig b/src/kern/sched.zig index 142b88b..db9b362 100644 --- a/src/kern/sched.zig +++ b/src/kern/sched.zig @@ -1393,6 +1393,11 @@ pub fn idle(_: ?*anyopaque) noreturn { } } + // Dispatch any pending DPCs. + if (ki.ipl.is_softint_pending(.Dispatch)) { + ki.dpc.dispatch(); + } + std.atomic.spinLoopHint(); } }