kernel/src/arch/Timer.cpp

@@ -58,6 +58,11 @@ namespace Timer
         timer_ticks++;
     }
 
+    usize raw_ticks()
+    {
+        return timer_ticks;
+    }
+
     usize ticks()
     {
         return ticks_ms() / 1000;
@@ -130,5 +135,6 @@ namespace Timer
 
 bool should_invoke_scheduler()
 {
+    // FIXME: Modulo is SLOW. We're calling this every tick.
     return (timer_ticks % ARCH_TIMER_FREQ) == 0;
 }