Symbol: armv5_ec_dcache_wbinv_range
sys/arch/arm/arm/cpufunc.c
469
.cf_dcache_wbinv_range = armv5_ec_dcache_wbinv_range,
sys/arch/arm/arm/cpufunc.c
470
/*XXX*/ .cf_dcache_inv_range = armv5_ec_dcache_wbinv_range,
sys/arch/arm/include/cpufunc_proto.h
210
void armv5_ec_dcache_wbinv_range (vaddr_t, vsize_t);