Symbol: arm9_dcache_wb_range
sys/arch/arm/arm/cpufunc.c
409
.cf_dcache_wb_range = arm9_dcache_wb_range,
sys/arch/arm/include/cpufunc_proto.h
179
void arm9_dcache_wb_range (vaddr_t, vsize_t);