diff options
| author | Thomas Skibo <thomas-bsd@skibo.net> | 2021-01-11 20:58:12 +0000 |
|---|---|---|
| committer | Mitchell Horne <mhorne@FreeBSD.org> | 2021-02-23 14:30:14 +0000 |
| commit | 0a223cf980b5ef8bea726a843fe5a7faf2278330 (patch) | |
| tree | 212e393e12016dfaa1e73fab31db61a63f4f6fb0 | |
| parent | 04535d6a572ac63b448a5def4525947bd00d9f8a (diff) | |
| download | src-0a223cf980b5ef8bea726a843fe5a7faf2278330.tar.gz src-0a223cf980b5ef8bea726a843fe5a7faf2278330.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
(cherry picked from commit 9976b42b697ce203b1d257b2a6fe64c8a2961645)
| -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); } } |