Changes in kernel/generic/include/cpu.h [95c4776:e257ae3] in mainline

File:

• kernel/generic/include/cpu.h (modified) (1 diff)

kernel/generic/include/cpu.h

@@ -68 +68 @@
                                              are disabled. */
 
+        bool idle;
+        uint64_t idle_ticks;
+        uint64_t busy_ticks;
+
         /**
          * Processor ID assigned by kernel.