Symbol: armv7_dcache_inv_range
sys/arch/arm/arm/cpufunc.c
111
armv7_dcache_inv_range, /* dcache_inv_range */
sys/arch/arm/include/cpufunc.h
246
void armv7_dcache_inv_range (vaddr_t, vsize_t);