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

File:

• kernel/generic/include/cpu.h (modified) (2 diffs)

kernel/generic/include/cpu.h

@@ -68 +68 @@
                                              are disabled. */
 
+        bool idle;
+        uint64_t idle_ticks;
+        uint64_t busy_ticks;
+
         /**
          * Processor ID assigned by kernel.
@@ -73 +77 @@
         unsigned int id;
         
-        int active;
+        bool active;
         int tlb_active;