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/build_threadx_sample.bat b/ports_smp/cortex_a9_smp/gnu/example_build/build_threadx_sample.bat
index 22d0a618b..0e2611181 100644
--- a/ports_smp/cortex_a9_smp/gnu/example_build/build_threadx_sample.bat
+++ b/ports_smp/cortex_a9_smp/gnu/example_build/build_threadx_sample.bat
@@ -1,4 +1,4 @@
-arm-none-eabi-gcc -c -g -I../../../../common_smp/inc -I../inc -mcpu=cortex-a5 sample_threadx.c
+arm-none-eabi-gcc -c -g -I../../../../common_smp/inc -I../inc -mcpu=cortex-a9 sample_threadx.c
 arm-none-eabi-gcc -c -g -mcpu=cortex-a9 startup.S
 arm-none-eabi-gcc -c -g -mcpu=cortex-a9 MP_GIC.S
 arm-none-eabi-gcc -c -g -mcpu=cortex-a9 MP_SCU.S
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);