223 static void mark_ram_allocated(int bank, u64 allocated_start, u64 allocated_end)  in mark_ram_allocated()  argument
225 	u64 bank_start = tegra_mem_map[bank].virt;  in mark_ram_allocated()
226 	u64 bank_size = tegra_mem_map[bank].size;  in mark_ram_allocated()
242 		memmove(&tegra_mem_map[bank + 1], &tegra_mem_map[bank],  in mark_ram_allocated()
243 			CONFIG_NR_DRAM_BANKS - bank - 1);  in mark_ram_allocated()
244 		tegra_mem_map[bank].size = allocated_start - bank_start;  in mark_ram_allocated()
245 		bank++;  in mark_ram_allocated()
246 		tegra_mem_map[bank].virt = allocated_end;  in mark_ram_allocated()
247 		tegra_mem_map[bank].phys = allocated_end;  in mark_ram_allocated()
248 		tegra_mem_map[bank].size = bank_end - allocated_end;  in mark_ram_allocated()
250 		tegra_mem_map[bank].size = allocated_start - bank_start;  in mark_ram_allocated()
252 		tegra_mem_map[bank].virt = allocated_end;  in mark_ram_allocated()
253 		tegra_mem_map[bank].phys = allocated_end;  in mark_ram_allocated()
254 		tegra_mem_map[bank].size = bank_end - allocated_end;  in mark_ram_allocated()
261 		tegra_mem_map[bank].size = 0;  in mark_ram_allocated()
267 	int bank;  in reserve_ram()  local
270 	for (bank = 1; bank <= CONFIG_NR_DRAM_BANKS; bank++) {  in reserve_ram()
271 		u64 bank_start = tegra_mem_map[bank].virt;  in reserve_ram()
272 		u64 bank_size = tegra_mem_map[bank].size;  in reserve_ram()
277 		mark_ram_allocated(bank, start, end);  in reserve_ram()
284 	int bank;  in alloc_ram()  local
286 	for (bank = 1; bank <= CONFIG_NR_DRAM_BANKS; bank++) {  in alloc_ram()
287 		u64 bank_start = tegra_mem_map[bank].virt;  in alloc_ram()
288 		u64 bank_size = tegra_mem_map[bank].size;  in alloc_ram()
295 		mark_ram_allocated(bank, allocated, allocated_end);  in alloc_ram()
395 	int bank;  in dump_ram_banks()  local
397 	for (bank = 1; bank <= CONFIG_NR_DRAM_BANKS; bank++) {  in dump_ram_banks()
398 		u64 bank_start = tegra_mem_map[bank].virt;  in dump_ram_banks()
399 		u64 bank_size = tegra_mem_map[bank].size;  in dump_ram_banks()
404 		printf("%d: %010llx..%010llx (+%010llx)\n", bank - 1,  in dump_ram_banks()