armv5: add missing cp15_invalidate_i_and_d_caches_fast()
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Aug 2015 11:58:40 +0000 (13:58 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Aug 2015 11:58:42 +0000 (13:58 +0200)
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>

kernel/include/arch/armv5/cp15.h

index bda6b54..a90af73 100644 (file)
 
 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
  */