Symbol: aarch64_icache_barrier_range
sys/arch/aarch64/aarch64/cpufunc.c
457
aarch64_icache_barrier_range;
sys/arch/aarch64/include/cpufunc.h
75
void aarch64_icache_barrier_range(vaddr_t, vsize_t);