Symbol: armadaxp_sdcache_wbinv_all
sys/arch/arm/arm/cpufunc.c
2929
armadaxp_sdcache_wbinv_all();
sys/arch/arm/marvell/armadaxpvar.h
35
extern void armadaxp_sdcache_wbinv_all(void);