mbed official / mbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Dependents:   hello SerialTestv11 SerialTestv12 Sierpinski ... more

mbed 2

This is the mbed 2 library. If you'd like to learn about Mbed OS please see the mbed-os docs.

Diff: platform/CThunk.h

Revision:
160:5571c4ff569f
Parent:
158:1c57384330a6
Child:
161:aa5281ff4a02
--- a/platform/CThunk.h	Thu Nov 23 11:44:04 2017 +0000
+++ b/platform/CThunk.h	Wed Jan 17 16:13:02 2018 +0000
@@ -222,15 +222,15 @@
                 uint32_t start_addr = (uint32_t)&m_thunk & 0xFFFFFFE0;
                 uint32_t end_addr   = (uint32_t)&m_thunk + sizeof(m_thunk);
                 uint32_t addr;
-                
+
                 /* Data cache clean and invalid */
                 for (addr = start_addr; addr < end_addr; addr += 0x20) {
-                    __v7_clean_inv_dcache_mva((void *)addr);
+                    L1C_CleanInvalidateDCacheMVA((void *)addr);
                 }
                 /* Instruction cache invalid */
-                __v7_inv_icache_all();
-                __ca9u_inv_tlb_all();
-                __v7_inv_btac();
+                L1C_InvalidateICacheAll();
+                MMU_InvalidateTLB();
+                L1C_InvalidateBTAC();
             }
 #endif
 #if defined(__CORTEX_M7)