Changes in kernel/arch/arm32/src/mm/tlb.c [f834cc32:bb75646] 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)
 {
-#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)
+        //TODO: What about TLBIMVAA?
         TLBIMVA_write(page);
-#else
-#error Unknown TLB type
-#endif
-
         /*
          * "A TLB maintenance operation is only guaranteed to be complete after