Changes in kernel/generic/include/cpu.h [8e3ed06:84b8936d] in mainline

File:

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

kernel/generic/include/cpu.h

@@ -90 +90 @@
         
         bool active;
-        bool tlb_active;
+        volatile bool tlb_active;
         
         uint16_t frequency_mhz;