Symbol: armv5_idcache_wbinv_range
sys/arch/arm/arm/cpufunc.c
540
.cf_idcache_wbinv_range = armv5_idcache_wbinv_range,
sys/arch/arm/arm/cpufunc.c
789
.cf_idcache_wbinv_range = armv5_idcache_wbinv_range,
sys/arch/arm/include/cpufunc_proto.h
230
void armv5_idcache_wbinv_range (vaddr_t, vsize_t);