Changeset f834cc32 in mainline for kernel/arch/arm32/src/mm/tlb.c

Timestamp:

2015-09-23T19:59:06Z (10 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

8ca6f08

Parents:

a1d636e

Message:

More generic detection of TLB type.

File:

• kernel/arch/arm32/src/mm/tlb.c (modified) (1 diff)

kernel/arch/arm32/src/mm/tlb.c

@@ -79 +79 @@
 static inline void invalidate_page(uintptr_t page)
 {
-#if defined(PROCESSOR_arm920t)
+#if defined(PROCESSOR_ARCH_armv6) || defined(PROCESSOR_ARCH_armv7_a)
+        if (TLBTR_read() & TLBTR_SEP_FLAG) {
+                ITLBIMVA_write(page);
+                DTLBIMVA_write(page);
+        } else {
+                TLBIMVA_write(page);
+        }
+#elif defined(PROCESSOR_arm920t)
         ITLBIMVA_write(page);
         DTLBIMVA_write(page);
+#elif defined(PROCESSOR_arm926ej_s)
+        TLBIMVA_write(page);
 #else
-        //TODO: What about TLBIMVAA?
-        TLBIMVA_write(page);
+#error Unknown TLB type
 #endif
+
         /*
          * "A TLB maintenance operation is only guaranteed to be complete after