Symbol: armv7_idcache_wbinv_range
sys/arch/arm/arm/cpufunc.c
115
armv7_idcache_wbinv_range, /* idcache_wbinv_range */
sys/arch/arm/include/cpufunc.h
250
void armv7_idcache_wbinv_range (vaddr_t, vsize_t);