Changes in kernel/generic/src/time/clock.c [98000fb:9dae191e] in mainline

File:

• kernel/generic/src/time/clock.c (modified) (2 diffs)

kernel/generic/src/time/clock.c

@@ -86 +86 @@
         uptime->seconds1 = 0;
         uptime->seconds2 = 0;
-        uptime->useconds = 0; 
+        uptime->useconds = 0;
 
         clock_parea.pbase = (uintptr_t) faddr;
@@ -137 +137 @@
         size_t missed_clock_ticks = CPU->missed_clock_ticks;
         unsigned int i;
+
+        /* Account lost ticks to CPU usage */
+        if (CPU->idle) {
+                ASSERT(missed_clock_ticks == 0);
+                CPU->idle_ticks++;
+        } else {
+                CPU->busy_ticks += missed_clock_ticks + 1;
+        }
+        CPU->idle = false;
 
         /*