Symbol: aarch64_icache_sync_range
sys/arch/aarch64/aarch64/cpufunc_asm_armv8.S
133
ENTRY(aarch64_icache_sync_range)
sys/rump/kern/lib/libsljit/arch/aarch64/cpufunc.c
44
aarch64_icache_sync_range(vaddr_t va, vsize_t sz)