Symbol: arm64_dic_idc_icache_sync_range
sys/arm64/arm64/identcpu.c
2831
arm64_icache_sync_range = &arm64_dic_idc_icache_sync_range;
sys/arm64/include/cpufunc.h
209
void arm64_dic_idc_icache_sync_range(void *, vm_size_t);