Symbol: arm64_idc_aliasing_icache_sync_range
sys/arm64/arm64/identcpu.c
2835
arm64_icache_sync_range = &arm64_idc_aliasing_icache_sync_range;
sys/arm64/include/cpufunc.h
210
void arm64_idc_aliasing_icache_sync_range(void *, vm_size_t);