Changes in kernel/generic/include/cpu.h [daadfa6:f3dbe27] in mainline

File:

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

kernel/generic/include/cpu.h

@@ -51 +51 @@
  */
 typedef struct cpu {
-        IRQ_SPINLOCK_DECLARE(lock);
+        IRQ_SPINLOCK_DECLARE(tlb_lock);
 
         tlb_shootdown_msg_t tlb_messages[TLB_MESSAGE_QUEUE_LEN];
@@ -81 +81 @@
         bool idle;
         uint64_t last_cycle;
-        uint64_t idle_cycles;
-        uint64_t busy_cycles;
+        atomic_time_stat_t idle_cycles;
+        atomic_time_stat_t busy_cycles;
 
         /**
@@ -97 +97 @@
         cpu_arch_t arch;
 
-        struct thread *fpu_owner;
+#ifdef CONFIG_FPU_LAZY
+        /* For synchronization between FPU trap and thread destructor. */
+        IRQ_SPINLOCK_DECLARE(fpu_lock);
+#endif
+        _Atomic(struct thread *) fpu_owner;
 
         /**