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);