Symbol: armadaxp_sdcache_wb_range
sys/arch/arm/arm/cpufunc.c
2906
cpufuncs.cf_sdcache_wb_range = armadaxp_sdcache_wb_range;
sys/arch/arm/marvell/armadaxpvar.h
37
extern void armadaxp_sdcache_wb_range(vaddr_t, paddr_t, psize_t);