Changeset b80d132 in mainline for boot/arch/arm32/src/main.c

Timestamp:

2013-01-23T20:48:23Z (13 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

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

Children:

df334ca

Parents:

bfb6576

Message:

arm32, boot: Flush everything to PoC (memory) and disable caches before reaching kernel

This should be safe for all ARMs. Kernel will enable caches if it is supported.

File:

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

boot/arch/arm32/src/main.c

@@ -69 +69 @@
 }
 
-static inline void clean_dcache_pou(void *address, size_t size)
+static inline void clean_dcache_poc(void *address, size_t size)
 {
         const uintptr_t addr = (uintptr_t)address;
-        /* DCCMVAU - clean by address to the point of unification */
+        /* DCCMVAC - clean by address to the point of coherence */
         for (uintptr_t a = addr; a < addr + size; a += 4) {
-                asm volatile ("mcr p15, 0, %[a], c7, c11, 1\n" :: [a]"r"(a) : );
+                asm volatile ("mcr p15, 0, %[a], c7, c10, 1\n" :: [a]"r"(a) : );
         }
 }
@@ -148 +148 @@
                         halt();
                 }
-                clean_dcache_pou(dest[i - 1], components[i - 1].inflated);
+                clean_dcache_poc(dest[i - 1], components[i - 1].inflated);
         }