Symbol: armadaxp_sdcache_wbinv_range
sys/arch/arm/arm/cpufunc.c
2904
cpufuncs.cf_sdcache_wbinv_range = armadaxp_sdcache_wbinv_range;
sys/arch/arm/marvell/armadaxpvar.h
38
extern void armadaxp_sdcache_wbinv_range(vaddr_t, paddr_t, psize_t);