armv5: add missing cp15_invalidate_i_and_d_caches_fast()

We just add a dummy cp15_invalidate_i_and_d_caches_fast() which calls
cp15_invalidate_i_and_d_caches().

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/kernel/include/arch/armv5/cp15.h b/kernel/include/arch/armv5/cp15.h
index bda6b54..a90af73 100644 (file)
--- a/kernel/include/arch/armv5/cp15.h
+++ b/kernel/include/arch/armv5/cp15.h
@@ -14,6 +14,11 @@
 
 void cp15_invalidate_i_and_d_caches(void);
 
+static inline void cp15_invalidate_i_and_d_caches_fast(void)
+{
+    cp15_invalidate_i_and_d_caches();
+}
+
 /**
  * \brief Read domain access control register
  */