Symbol: armv7_idcache_wbinv_range
sys/arch/arm/arm/cpufunc.c
1155
.cf_idcache_wbinv_range = armv7_idcache_wbinv_range,
sys/arch/arm/arm/cpufunc.c
1219
.cf_idcache_wbinv_range = armv7_idcache_wbinv_range,
sys/arch/arm/include/cpufunc_proto.h
297
void armv7_idcache_wbinv_range(vaddr_t, vsize_t);