Symbol: armv7_dcache_inv_range
sys/arch/arm/arm/cpufunc.c
1146
.cf_dcache_inv_range = armv7_dcache_inv_range,
sys/arch/arm/arm/cpufunc.c
1211
.cf_dcache_inv_range = armv7_dcache_inv_range,
sys/arch/arm/include/cpufunc_proto.h
292
void armv7_dcache_inv_range(vaddr_t, vsize_t);