armv5: add missing cp15_invalidate_i_and_d_caches_fast()
[barrelfish] / kernel / include / arch / armv5 / cp15.h
2015-08-11 Simon Gerberarmv5: add missing cp15_invalidate_i_and_d_caches_fast()
2012-09-28 Kornilios Kourtisarmv5: move cp15_invalidate_i_and_d_caches() to a ...
2012-08-20 Simon GerberRenamed ARM to ARMv5.