1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2021, Bin Meng <bmeng.cn@gmail.com>
10 static int do_addrmap(struct cmd_tbl *cmdtp, int flag, int argc,
15 printf(" vaddr paddr size\n");
16 printf("================ ================ ================\n");
18 for (i = 0; i < CONFIG_SYS_NUM_ADDR_MAP; i++) {
19 if (address_map[i].size == 0)
22 printf("%16.8lx %16.8llx %16.8llx\n",
24 (unsigned long long)address_map[i].paddr,
25 (unsigned long long)address_map[i].size);
32 addrmap, 1, 1, do_addrmap,
33 "List non-identity virtual-physical memory mappings for 32-bit CPUs",