Searched refs:arm64_icache_sync_range (Results 1 – 2 of 2) sorted by relevance
198 extern void (*arm64_icache_sync_range)(void *, vm_size_t);200 #define cpu_icache_sync_range(a, s) arm64_icache_sync_range((a), (s))
91 void (*arm64_icache_sync_range)(void *, vm_size_t) = variable2776 arm64_icache_sync_range = &arm64_dic_idc_icache_sync_range; in identify_cpu_sysinit()2780 arm64_icache_sync_range = &arm64_idc_aliasing_icache_sync_range; in identify_cpu_sysinit()