116 	unsigned int end = (start + pcacheinfo->dcache_size);  in invalidate_writeback_dcache_all()  local
118 	while (start < end)   in invalidate_writeback_dcache_all()
127 	unsigned long start, end;  in invalidate_writeback_dcache()  local
130 	end = (end + size + pcacheinfo->dcacheline_size -1) & ( -pcacheinfo->dcacheline_size);  in invalidate_writeback_dcache()
132 	while (start <end)  in invalidate_writeback_dcache()
142 	unsigned int end = (start + pcacheinfo->icache_size);  in invalidate_icache_all()  local
144 	while (start < end)   in invalidate_icache_all()
154 	unsigned int end  = (start + pcacheinfo->dcache_size);  in invalidate_dcache_all()  local
155 	while (start <end)  in invalidate_dcache_all()
166 	unsigned int end = (start + pcacheinfo->dcache_size);  in init_dcache()  local
168 	while (start < end)  in init_dcache()
178     unsigned int start, end;  in rt_hw_cache_init()  local
185 	end = (start + pcacheinfo->icache_size);  in rt_hw_cache_init()
195     while (start < end)   in rt_hw_cache_init()
205     end = (start + pcacheinfo->dcache_size);  in rt_hw_cache_init()
206     while(start < end)   in rt_hw_cache_init()
213     while(start < end)   in rt_hw_cache_init()
220     while(start < end)   in rt_hw_cache_init()