Changes in kernel/generic/include/cpu.h [bd01a4e:95c4776] 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.
@@ -77 +73 @@
         unsigned int id;
         
-        bool active;
+        int active;
         int tlb_active;