Searched refs:aarch64_icache_sync_range (Results 1 – 4 of 4) sorted by relevance
41 void aarch64_icache_sync_range(vaddr_t, vsize_t);44 aarch64_icache_sync_range(vaddr_t va, vsize_t sz) in aarch64_icache_sync_range() function
133 ENTRY(aarch64_icache_sync_range)136 END(aarch64_icache_sync_range)
439 ci->ci_cpufuncs.cf_icache_sync_range = aarch64_icache_sync_range; in aarch64_setcpufuncs()
71 void aarch64_icache_sync_range(vaddr_t, vsize_t);