15 void icache_inv_range(unsigned long start, unsigned long end)  in icache_inv_range()  argument
19 	for (; i < end; i += L1_CACHE_BYTES)  in icache_inv_range()
30 void dcache_wb_range(unsigned long start, unsigned long end)  in dcache_wb_range()  argument
34 	for (; i < end; i += L1_CACHE_BYTES)  in dcache_wb_range()
39 void dcache_inv_range(unsigned long start, unsigned long end)  in dcache_inv_range()  argument
43 	for (; i < end; i += L1_CACHE_BYTES)  in dcache_inv_range()
48 void cache_wbinv_range(unsigned long start, unsigned long end)  in cache_wbinv_range()  argument
52 	for (; i < end; i += L1_CACHE_BYTES)  in cache_wbinv_range()
57 	for (; i < end; i += L1_CACHE_BYTES)  in cache_wbinv_range()
63 void dma_wbinv_range(unsigned long start, unsigned long end)  in dma_wbinv_range()  argument
67 	for (; i < end; i += L1_CACHE_BYTES)  in dma_wbinv_range()
72 void dma_inv_range(unsigned long start, unsigned long end)  in dma_inv_range()  argument
76 	for (; i < end; i += L1_CACHE_BYTES)  in dma_inv_range()
81 void dma_wb_range(unsigned long start, unsigned long end)  in dma_wb_range()  argument
85 	for (; i < end; i += L1_CACHE_BYTES)  in dma_wb_range()