Changeset 84b8936d in mainline

Timestamp:

2016-05-26T09:53:24Z (8 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

8ad7dd1

Parents:

609f8d9c

Message:

Make sure tlb_shootdown_start() always re-reads tlb_active from memory

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;