115 	unsigned int end = (start + pcacheinfo->dcache_size);  in invalidate_writeback_dcache_all()  local
117 	while (start < end)   in invalidate_writeback_dcache_all()
126 	unsigned long start, end;  in invalidate_writeback_dcache()  local
129 	end = (end + size + pcacheinfo->dcacheline_size -1) & ( -pcacheinfo->dcacheline_size);  in invalidate_writeback_dcache()
131 	while (start <end)  in invalidate_writeback_dcache()
141 	unsigned int end = (start + pcacheinfo->icache_size);  in invalidate_icache_all()  local
143 	while (start < end)   in invalidate_icache_all()
153 	unsigned int end  = (start + pcacheinfo->dcache_size);  in invalidate_dcache_all()  local
154 	while (start <end)  in invalidate_dcache_all()
165 	unsigned int end = (start + pcacheinfo->dcache_size);  in init_dcache()  local
167 	while (start < end)  in init_dcache()
177     unsigned int start, end;  in rt_hw_cache_init()  local
184 	end = (start + pcacheinfo->icache_size);  in rt_hw_cache_init()
194     while (start < end)   in rt_hw_cache_init()
204     end = (start + pcacheinfo->dcache_size);  in rt_hw_cache_init()
205     while(start < end)   in rt_hw_cache_init()
212     while(start < end)   in rt_hw_cache_init()
219     while(start < end)   in rt_hw_cache_init()