1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3 * Copyright (C) 2021, Bin Meng <bmeng.cn@gmail.com>
4 */
5
6 #include <common.h>
7 #include <command.h>
8 #include <addr_map.h>
9
do_addrmap(struct cmd_tbl * cmdtp,int flag,int argc,char * const argv[])10 static int do_addrmap(struct cmd_tbl *cmdtp, int flag, int argc,
11 char *const argv[])
12 {
13 int i;
14
15 printf(" vaddr paddr size\n");
16 printf("================ ================ ================\n");
17
18 for (i = 0; i < CONFIG_SYS_NUM_ADDR_MAP; i++) {
19 if (address_map[i].size == 0)
20 continue;
21
22 printf("%16.8lx %16.8llx %16.8llx\n",
23 address_map[i].vaddr,
24 (unsigned long long)address_map[i].paddr,
25 (unsigned long long)address_map[i].size);
26 }
27
28 return 0;
29 }
30
31 U_BOOT_CMD(
32 addrmap, 1, 1, do_addrmap,
33 "List non-identity virtual-physical memory mappings for 32-bit CPUs",
34 ""
35 );
36