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)
committerDavid Cock <david.cock@inf.ethz.ch>
Tue, 11 Aug 2015 09:19:38 +0000 (11:19 +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
  */