Symbol: armadaxp_sdcache_inv_range
sys/arch/arm/arm/cpufunc.c
2905
cpufuncs.cf_sdcache_inv_range = armadaxp_sdcache_inv_range;
sys/arch/arm/marvell/armadaxpvar.h
36
extern void armadaxp_sdcache_inv_range(vaddr_t, paddr_t, psize_t);