Symbol: armv7_idcache_wbinv_all
sys/arch/arm/arm/cpufunc.c
114
armv7_idcache_wbinv_all, /* idcache_wbinv_all */
sys/arch/arm/include/cpufunc.h
249
void armv7_idcache_wbinv_all (void);