diff --git a/ports_smp/cortex_a5_smp/ac5/example_build/sample_threadx/v7.h b/ports_smp/cortex_a5_smp/ac5/example_build/sample_threadx/v7.h
index 5a08b43fd..6016ef64f 100644
--- a/ports_smp/cortex_a5_smp/ac5/example_build/sample_threadx/v7.h
+++ b/ports_smp/cortex_a5_smp/ac5/example_build/sample_threadx/v7.h
@@ -35,7 +35,6 @@ void disableInterrupts(void);
 // ------------------------------------------------------------
 // Caches
 
-void invalidateCaches_IS(void);
 void cleanInvalidateDCache(void);
 void invalidateCaches_IS(void);
 void enableCaches(void);
diff --git a/ports_smp/cortex_a5_smp/gnu/example_build/v7.h b/ports_smp/cortex_a5_smp/gnu/example_build/v7.h
index 5a08b43fd..6016ef64f 100644
--- a/ports_smp/cortex_a5_smp/gnu/example_build/v7.h
+++ b/ports_smp/cortex_a5_smp/gnu/example_build/v7.h
@@ -35,7 +35,6 @@ void disableInterrupts(void);
 // ------------------------------------------------------------
 // Caches
 
-void invalidateCaches_IS(void);
 void cleanInvalidateDCache(void);
 void invalidateCaches_IS(void);
 void enableCaches(void);
diff --git a/ports_smp/cortex_a7_smp/ac5/example_build/sample_threadx/v7.h b/ports_smp/cortex_a7_smp/ac5/example_build/sample_threadx/v7.h
index 5a08b43fd..6016ef64f 100644
--- a/ports_smp/cortex_a7_smp/ac5/example_build/sample_threadx/v7.h
+++ b/ports_smp/cortex_a7_smp/ac5/example_build/sample_threadx/v7.h
@@ -35,7 +35,6 @@ void disableInterrupts(void);
 // ------------------------------------------------------------
 // Caches
 
-void invalidateCaches_IS(void);
 void cleanInvalidateDCache(void);
 void invalidateCaches_IS(void);
 void enableCaches(void);
diff --git a/ports_smp/cortex_a7_smp/gnu/example_build/v7.h b/ports_smp/cortex_a7_smp/gnu/example_build/v7.h
index 0fc0183f3..88e88508d 100644
--- a/ports_smp/cortex_a7_smp/gnu/example_build/v7.h
+++ b/ports_smp/cortex_a7_smp/gnu/example_build/v7.h
@@ -23,7 +23,6 @@ void disableInterrupts(void);
 // ------------------------------------------------------------
 // Caches
 
-void invalidateCaches_IS(void);
 void cleanInvalidateDCache(void);
 void invalidateCaches_IS(void);
 void enableCaches(void);
diff --git a/ports_smp/cortex_a9_smp/gnu/example_build/v7.h b/ports_smp/cortex_a9_smp/gnu/example_build/v7.h
index 5a08b43fd..6016ef64f 100644
--- a/ports_smp/cortex_a9_smp/gnu/example_build/v7.h
+++ b/ports_smp/cortex_a9_smp/gnu/example_build/v7.h
@@ -35,7 +35,6 @@ void disableInterrupts(void);
 // ------------------------------------------------------------
 // Caches
 
-void invalidateCaches_IS(void);
 void cleanInvalidateDCache(void);
 void invalidateCaches_IS(void);
 void enableCaches(void);