Searched refs:arm64_dcache_range (Results 1 – 1 of 1) sorted by relevance
77 static ALWAYS_INLINE int arm64_dcache_range(void *addr, size_t size, int op) in arm64_dcache_range() function159 return arm64_dcache_range(addr, size, K_CACHE_WB); in arch_dcache_flush_range()164 return arm64_dcache_range(addr, size, K_CACHE_INVD); in arch_dcache_invd_range()169 return arm64_dcache_range(addr, size, K_CACHE_WB_INVD); in arch_dcache_flush_and_invd_range()
