aboutsummaryrefslogtreecommitdiff
path: root/sys
diff options
context:
space:
mode:
authorThomas Skibo <thomas-bsd@skibo.net>2021-01-11 20:58:12 +0000
committerMitchell Horne <mhorne@FreeBSD.org>2021-02-18 15:53:14 +0000
commit9976b42b697ce203b1d257b2a6fe64c8a2961645 (patch)
tree5e8acd79f35c82ad7517a6e244bee3418ab4ce67 /sys
parent17d0f830dddf38724068f4139b6bef9a5dab70c5 (diff)
downloadsrc-9976b42b697ce203b1d257b2a6fe64c8a2961645.tar.gz
src-9976b42b697ce203b1d257b2a6fe64c8a2961645.zip
ddb: fix show devmap output on 32-bit arm
The output has been broken since 1b6dd6d772ca. Casting to uintmax_t before the call to printf is necessary to ensure that 32-bit addresses are interpreted correctly. PR: 243236 MFC after: 3 days
Diffstat (limited to 'sys')
-rw-r--r--sys/kern/subr_devmap.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/sys/kern/subr_devmap.c b/sys/kern/subr_devmap.c
index 8e07199b7f73..23baceb05129 100644
--- a/sys/kern/subr_devmap.c
+++ b/sys/kern/subr_devmap.c
@@ -74,7 +74,9 @@ devmap_dump_table(int (*prfunc)(const char *, ...))
prfunc("Static device mappings:\n");
for (pd = devmap_table; pd->pd_size != 0; ++pd) {
prfunc(" 0x%08jx - 0x%08jx mapped at VA 0x%08jx\n",
- pd->pd_pa, pd->pd_pa + pd->pd_size - 1, pd->pd_va);
+ (uintmax_t)pd->pd_pa,
+ (uintmax_t)(pd->pd_pa + pd->pd_size - 1),
+ (uintmax_t)pd->pd_va);
}
}