armv5: add missing cp15_invalidate_i_and_d_caches_fast()
[barrelfish] / 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
  */