42 static void mark_ram_allocated(int bank, u64 allocated_start, u64 allocated_end)  in mark_ram_allocated()  argument
44 	u64 bank_start = tegra_mem_map[bank].virt;  in mark_ram_allocated()
45 	u64 bank_size = tegra_mem_map[bank].size;  in mark_ram_allocated()
61 		memmove(&tegra_mem_map[bank + 1], &tegra_mem_map[bank],  in mark_ram_allocated()
62 			CONFIG_NR_DRAM_BANKS - bank - 1);  in mark_ram_allocated()
63 		tegra_mem_map[bank].size = allocated_start - bank_start;  in mark_ram_allocated()
64 		bank++;  in mark_ram_allocated()
65 		tegra_mem_map[bank].virt = allocated_end;  in mark_ram_allocated()
66 		tegra_mem_map[bank].phys = allocated_end;  in mark_ram_allocated()
67 		tegra_mem_map[bank].size = bank_end - allocated_end;  in mark_ram_allocated()
69 		tegra_mem_map[bank].size = allocated_start - bank_start;  in mark_ram_allocated()
71 		tegra_mem_map[bank].virt = allocated_end;  in mark_ram_allocated()
72 		tegra_mem_map[bank].phys = allocated_end;  in mark_ram_allocated()
73 		tegra_mem_map[bank].size = bank_end - allocated_end;  in mark_ram_allocated()
80 		tegra_mem_map[bank].size = 0;  in mark_ram_allocated()
86 	int bank;  in reserve_ram()  local
89 	for (bank = 1; bank <= CONFIG_NR_DRAM_BANKS; bank++) {  in reserve_ram()
90 		u64 bank_start = tegra_mem_map[bank].virt;  in reserve_ram()
91 		u64 bank_size = tegra_mem_map[bank].size;  in reserve_ram()
96 		mark_ram_allocated(bank, start, end);  in reserve_ram()
103 	int bank;  in alloc_ram()  local
105 	for (bank = 1; bank <= CONFIG_NR_DRAM_BANKS; bank++) {  in alloc_ram()
106 		u64 bank_start = tegra_mem_map[bank].virt;  in alloc_ram()
107 		u64 bank_size = tegra_mem_map[bank].size;  in alloc_ram()
114 		mark_ram_allocated(bank, allocated, allocated_end);  in alloc_ram()
214 	int bank;  in dump_ram_banks()  local
216 	for (bank = 1; bank <= CONFIG_NR_DRAM_BANKS; bank++) {  in dump_ram_banks()
217 		u64 bank_start = tegra_mem_map[bank].virt;  in dump_ram_banks()
218 		u64 bank_size = tegra_mem_map[bank].size;  in dump_ram_banks()
223 		printf("%d: %010llx..%010llx (+%010llx)\n", bank - 1,  in dump_ram_banks()