Kernel: Increment both 16-bit and 32-bit tick counters on every timer interrupt

diff --git a/Kernel/process.c b/Kernel/process.c
index 1e11474..e47d468 100644 (file)
--- a/Kernel/process.c
+++ b/Kernel/process.c
@@ -328,6 +328,7 @@ void timer_interrupt(void)
                        udata.u_utime++;
        }
        ticks++;
+       miniticks++;
 
        /* Do once-per-decisecond things - this doesn't work out well on
           boxes with 64 ticks/second.. need a better approach */