From b593c7fe2a6f20c2f9486c047e3fffd7037b2271 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Gr=C3=A9goire?= <loic@gregoire.dev>
Date: Mon, 23 Mar 2026 20:42:07 -0400
Subject: [PATCH] fix(ke): call update_overflow in timer

---
 src/kern/timer.zig | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/kern/timer.zig b/src/kern/timer.zig
index ca5550e..8ec40c4 100644
--- a/src/kern/timer.zig
+++ b/src/kern/timer.zig
@@ -132,6 +132,9 @@ pub fn cmp_timer(a: *rtl.pairing_heap.Node, b_: *rtl.pairing_heap.Node) std.math
 /// Called by the platform on a clock interrupt.
 pub fn clock() void {
     ke.dpc.enqueue(&percpu.local().dpc, null);
+    // Check for overflows.
+    // This is fine to call a lot, as the function only gets expensive (i.e seqlock store) when an overflow actually happens.
+    ki.timecounter.update_overflow();
 }
 
 // Called in a DPC when a timer has expired.