diff options
author | Thomas Skibo <thomas-bsd@skibo.net> | 2021-01-11 20:58:12 +0000 |
---|---|---|
committer | Mitchell Horne <mhorne@FreeBSD.org> | 2021-02-18 15:53:14 +0000 |
commit | 9976b42b697ce203b1d257b2a6fe64c8a2961645 (patch) | |
tree | 5e8acd79f35c82ad7517a6e244bee3418ab4ce67 | |
parent | 17d0f830dddf38724068f4139b6bef9a5dab70c5 (diff) | |
download | src-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
-rw-r--r-- | sys/kern/subr_devmap.c | 4 |
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); } } |