From 5cd981070e724370dd340af7bceb2faf12475758 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Gr=C3=A9goire?= <loic@gregoire.dev>
Date: Sun, 9 Aug 2026 16:44:49 -0400
Subject: [PATCH] ke/sched: check for pending DPCs in idle

---
 src/kern/sched.zig | 5 +++++
 1 file changed, 5 insertions(+)

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();
     }
 }