Changes in kernel/arch/arm32/include/arch/mm/page.h [a1d636e:b0c2075] 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);
 }