Changeset 74dcc07 in mainline

Timestamp:

2013-06-07T19:07:08Z (12 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

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

Children:

3ee38a9

Parents:

dff90fa7

Message:

arm32, tlb: Use cp15 macros instead of inline assembler

File:

• kernel/arch/arm32/src/mm/tlb.c (modified) (4 diffs)

kernel/arch/arm32/src/mm/tlb.c

@@ -37 +37 @@
 #include <arch/mm/asid.h>
 #include <arch/asm.h>
+#include <arch/cp15.h>
 #include <typedefs.h>
 #include <arch/mm/page.h>
@@ -46 +47 @@
 void tlb_invalidate_all(void)
 {
-        asm volatile (
-                "eor r1, r1\n"
-                "mcr p15, 0, r1, c8, c7, 0\n"
-                ::: "r1"
-        );
+        TLBIALL_write(0);
 }
 
@@ -60 +57 @@
 {
         tlb_invalidate_all();
+        // TODO: why not TLBIASID_write(asid) ?
 }
 
@@ -65 +63 @@
  *
  * @param page Virtual adress of the page
- */ 
+ */
 static inline void invalidate_page(uintptr_t page)
 {
-        asm volatile (
-                "mcr p15, 0, %[page], c8, c7, 1\n"
-                :: [page] "r" (page)
-        );
+        TLBIMVA_write(page);
+        //TODO: What about TLBIMVAA?
 }