Symbol: aarch64_icache_inv_range
sys/arch/aarch64/aarch64/cpufunc.c
463
aarch64_icache_inv_range;
sys/arch/aarch64/include/cpufunc.h
74
void aarch64_icache_inv_range(vaddr_t, vsize_t);