Changes in kernel/arch/arm32/src/mm/tlb.c [74dcc07:9d58539] in mainline

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