106 int arch_dcache_flush_range(void *addr, size_t size);
108 #define cache_data_flush_range(addr, size) arch_dcache_flush_range(addr, size)  argument
130 int arch_dcache_invd_range(void *addr, size_t size);
132 #define cache_data_invd_range(addr, size) arch_dcache_invd_range(addr, size)  argument
155 int arch_dcache_flush_and_invd_range(void *addr, size_t size);
157 #define cache_data_flush_and_invd_range(addr, size) \  argument
158 	arch_dcache_flush_and_invd_range(addr, size)
261 int arch_icache_flush_range(void *addr, size_t size);
263 #define cache_instr_flush_range(addr, size) arch_icache_flush_range(addr, size)  argument
285 int arch_icache_invd_range(void *addr, size_t size);
287 #define cache_instr_invd_range(addr, size) arch_icache_invd_range(addr, size)  argument
309 int arch_icache_flush_and_invd_range(void *addr, size_t size);
311 #define cache_instr_flush_and_invd_range(addr, size) \  argument
312 	arch_icache_flush_and_invd_range(addr, size)