Changeset 7bf9217 in mainline for boot/arch/arm32/src/mm.c

Timestamp:

2013-08-08T20:59:02Z (11 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

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

Children:

e93bb24

Parents:

15187c3

Message:

armv7: Enable Write back write allocate caches.

File:

• boot/arch/arm32/src/mm.c (modified) (2 diffs)

boot/arch/arm32/src/mm.c

@@ -147 +147 @@
          * set_ptl0_addr (kernel/arch/arm32/include/arch/mm/page.h)
          */
-        //TODO: Use write-back write-allocate caches
-        pte->tex = section_cacheable(frame) ? 6 : 0;
-        pte->bufferable = section_cacheable(frame) ? 0 : 0;
-        pte->cacheable = section_cacheable(frame) ? 1 : 0;
+        pte->tex = section_cacheable(frame) ? 5 : 0;
+        pte->cacheable = section_cacheable(frame) ? 0 : 0;
+        pte->bufferable = section_cacheable(frame) ? 1 : 0;
 #else
         pte->bufferable = 1;
@@ -184 +183 @@
          */
         uint32_t val = (uint32_t)boot_pt & TTBR_ADDR_MASK;
-        val |= TTBR_RGN_WT_CACHE | TTBR_C_FLAG;
+        val |= TTBR_RGN_WBWA_CACHE | TTBR_C_FLAG;
         TTBR0_write(val);
 }