Changes in kernel/arch/arm32/src/mm/tlb.c [bb75646:f834cc32] in mainline

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)
 {
-        //TODO: What about TLBIMVAA?
+#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
+#error Unknown TLB type
+#endif
+
         /*
          * "A TLB maintenance operation is only guaranteed to be complete after