Changes in kernel/generic/src/time/clock.c [e257ae3:98000fb] 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;
 
         /*