Searched refs:arm64_icache_sync_range (Results 1 – 2 of 2) sorted by relevance
180 extern void (*arm64_icache_sync_range)(vm_offset_t, vm_size_t);182 #define cpu_icache_sync_range(a, s) arm64_icache_sync_range((a), (s))
87 void (*arm64_icache_sync_range)(vm_offset_t, vm_size_t) = variable2346 arm64_icache_sync_range = &arm64_dic_idc_icache_sync_range; in identify_cpu_sysinit()2350 arm64_icache_sync_range = &arm64_idc_aliasing_icache_sync_range; in identify_cpu_sysinit()