Symbol: armv7_icache_sync_range
sys/arch/arm/arm/cpufunc.c
107
armv7_icache_sync_range, /* icache_sync_range */
sys/arch/arm/include/cpufunc.h
242
void armv7_icache_sync_range (vaddr_t, vsize_t);