Symbol: aarch64_icache_sync_range
sys/arch/aarch64/aarch64/cpufunc.c
447
ci->ci_cpufuncs.cf_icache_sync_range = aarch64_icache_sync_range;
sys/arch/aarch64/include/cpufunc.h
73
void aarch64_icache_sync_range(vaddr_t, vsize_t);
sys/rump/kern/lib/libsljit/arch/aarch64/cpufunc.c
41
void aarch64_icache_sync_range(vaddr_t, vsize_t);