diff --git a/configs/sama5d3x-ek/src/nor_main.c b/configs/sama5d3x-ek/src/nor_main.c
index 063ba1d1f70..a50f85411c0 100644
--- a/configs/sama5d3x-ek/src/nor_main.c
+++ b/configs/sama5d3x-ek/src/nor_main.c
@@ -187,8 +187,8 @@ int nor_main(int argc, char *argv)
 
   /* Invalidate caches and TLBs */
 
-  cp15_invalidate_icache();
-  cp15_invalidate_dcache_all();
+  arch_invalidate_icache();
+  arch_invalidate_dcache_all();
   cp15_invalidate_tlbs();
 
   /* Then jump into NOR flash */
diff --git a/configs/sama5d4-ek/src/dram_main.c b/configs/sama5d4-ek/src/dram_main.c
index 1fa34d92099..4f286809436 100644
--- a/configs/sama5d4-ek/src/dram_main.c
+++ b/configs/sama5d4-ek/src/dram_main.c
@@ -134,7 +134,7 @@ int dram_main(int argc, char *argv)
    * we disable caching.
    */
 
-  cp15_clean_dcache((uintptr_t)SAM_DDRCS_VSECTION,
+  arch_clean_dcache((uintptr_t)SAM_DDRCS_VSECTION,
                     (uintptr_t)(SAM_DDRCS_VSECTION + CONFIG_SAMA5_DDRCS_SIZE));
 
   /* Interrupts must be disabled through the following.  In this configuration,
@@ -155,8 +155,8 @@ int dram_main(int argc, char *argv)
 
   /* Invalidate caches and TLBs */
 
-  cp15_invalidate_icache();
-  cp15_invalidate_dcache_all();
+  arch_invalidate_icache();
+  arch_invalidate_dcache_all();
   cp15_invalidate_tlbs();
 
   /* Then jump into NOR flash */