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

File:

• kernel/generic/src/time/clock.c (modified) (1 diff)

kernel/generic/src/time/clock.c

@@ -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;
 
         /*