Symbol: armv7_dcache_wb_range
sys/arch/arm/arm/cpufunc.c
1147
.cf_dcache_wb_range = armv7_dcache_wb_range,
sys/arch/arm/arm/cpufunc.c
1212
.cf_dcache_wb_range = armv7_dcache_wb_range,
sys/arch/arm/include/cpufunc_proto.h
293
void armv7_dcache_wb_range(vaddr_t, vsize_t);