Changes in kernel/arch/arm32/include/arch/mm/page.h [b0c2075:a1d636e] in mainline

File:

• kernel/arch/arm32/include/arch/mm/page.h (modified) (1 diff)

kernel/arch/arm32/include/arch/mm/page.h

@@ -154 +154 @@
 {
         uint32_t val = (uint32_t)pt & TTBR_ADDR_MASK;
+#if defined(PROCESSOR_ARCH_armv6) || defined(PROCESSOR_ARCH_armv7_a)
+        // FIXME: TTBR_RGN_WBWA_CACHE is unpredictable on ARMv6
         val |= TTBR_RGN_WBWA_CACHE | TTBR_C_FLAG;
+#endif
         TTBR0_write(val);
 }