129 			       size_t size)  in _cache_range()
160 				size_t size, bool is_range)  in _cache_checks()
217 int cache_data_flush_range(void *addr, size_t size)  in cache_data_flush_range()
226 int cache_data_invd_range(void *addr, size_t size)  in cache_data_invd_range()
231 int cache_data_flush_and_invd_range(void *addr, size_t size)  in cache_data_flush_and_invd_range()
267 int cache_data_flush_range(void *addr, size_t size)  in cache_data_flush_range()
272 int cache_data_invd_range(void *addr, size_t size)  in cache_data_invd_range()
277 int cache_data_flush_and_invd_range(void *addr, size_t size)  in cache_data_flush_and_invd_range()
319 int cache_instr_flush_range(void *addr, size_t size)  in cache_instr_flush_range()
328 int cache_instr_invd_range(void *addr, size_t size)  in cache_instr_invd_range()
333 int cache_instr_flush_and_invd_range(void *addr, size_t size)  in cache_instr_flush_and_invd_range()
369 int cache_instr_flush_range(void *addr, size_t size)  in cache_instr_flush_range()
374 int cache_instr_invd_range(void *addr, size_t size)  in cache_instr_invd_range()
379 int cache_instr_flush_and_invd_range(void *addr, size_t size)  in cache_instr_flush_and_invd_range()