Searched refs:arm64_icache_sync_range (Results 1 – 2 of 2) sorted by relevance
203 extern void (*arm64_icache_sync_range)(void *, vm_size_t);205 #define cpu_icache_sync_range(a, s) arm64_icache_sync_range((a), (s))
94 void (*arm64_icache_sync_range)(void *, vm_size_t) = variable2831 arm64_icache_sync_range = &arm64_dic_idc_icache_sync_range; in identify_cpu_sysinit()2835 arm64_icache_sync_range = &arm64_idc_aliasing_icache_sync_range; in identify_cpu_sysinit()