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

File:

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

kernel/generic/include/cpu.h

@@ -42 +42 @@
 #include <arch/context.h>
 
-#define CPU_STACK_SIZE  STACK_SIZE
+#define CPU_STACK_SIZE  STACK_SIZE
 
 /** CPU structure.
@@ -49 +49 @@
  */
 typedef struct cpu {
-        IRQ_SPINLOCK_DECLARE(lock);
-        
+        SPINLOCK_DECLARE(lock);
+
         tlb_shootdown_msg_t tlb_messages[TLB_MESSAGE_QUEUE_LEN];
         size_t tlb_messages_count;
         
         context_t saved_context;
-        
+
         atomic_t nrdy;
         runq_t rq[RQ_COUNT];
         volatile size_t needs_relink;
-        
-        IRQ_SPINLOCK_DECLARE(timeoutlock);
+
+        SPINLOCK_DECLARE(timeoutlock);
         link_t timeout_active_head;
-        
-        /**
-         * When system clock loses a tick, it is
-         * recorded here so that clock() can react.
-         * This variable is CPU-local and can be
-         * only accessed when interrupts are
-         * disabled.
-         */
-        size_t missed_clock_ticks;
-        
+
+        size_t missed_clock_ticks;      /**< When system clock loses a tick, it is recorded here
+                                             so that clock() can react. This variable is
+                                             CPU-local and can be only accessed when interrupts
+                                             are disabled. */
+
         bool idle;
         uint64_t idle_ticks;
         uint64_t busy_ticks;
-        
+
         /**
          * Processor ID assigned by kernel.
          */
-        size_t id;
+        unsigned int id;
         
         bool active;
-        bool tlb_active;
-        
+        int tlb_active;
+
         uint16_t frequency_mhz;
         uint32_t delay_loop_const;
-        
+
         cpu_arch_t arch;
-        
+
         struct thread *fpu_owner;
         
@@ -104 +100 @@
 extern void cpu_arch_init(void);
 extern void cpu_identify(void);
-extern void cpu_print_report(cpu_t *);
+extern void cpu_print_report(cpu_t *m);
 
 #endif