54 int cache_data_flush_range(void *addr, size_t size)  in cache_data_flush_range()  argument
56 	XCACHE_CleanCacheByRange((uint32_t)addr, size);  in cache_data_flush_range()
61 int cache_data_invd_range(void *addr, size_t size)  in cache_data_invd_range()  argument
63 	XCACHE_InvalidateCacheByRange((uint32_t)addr, size);  in cache_data_invd_range()
68 int cache_data_flush_and_invd_range(void *addr, size_t size)  in cache_data_flush_and_invd_range()  argument
70 	XCACHE_CleanInvalidateCacheByRange((uint32_t)addr, size);  in cache_data_flush_and_invd_range()
106 int cache_instr_flush_range(void *addr, size_t size)  in cache_instr_flush_range()  argument
108 	XCACHE_CleanCacheByRange((uint32_t)addr, size);  in cache_instr_flush_range()
113 int cache_instr_invd_range(void *addr, size_t size)  in cache_instr_invd_range()  argument
115 	XCACHE_InvalidateCacheByRange((uint32_t)addr, size);  in cache_instr_invd_range()
120 int cache_instr_flush_and_invd_range(void *addr, size_t size)  in cache_instr_flush_and_invd_range()  argument
122 	XCACHE_CleanInvalidateCacheByRange((uint32_t)addr, size);  in cache_instr_flush_and_invd_range()