Symbol: arm64_aliasing_icache_sync_range
sys/arm64/arm64/identcpu.c
95
&arm64_aliasing_icache_sync_range;
sys/arm64/include/cpufunc.h
214
void arm64_aliasing_icache_sync_range(void *, vm_size_t);