git: 9976b42b697c - main - ddb: fix show devmap output on 32-bit arm

[Mitchell Horne]

The branch main has been updated by mhorne:

URL: https://cgit.FreeBSD.org/src/commit/?id=9976b42b697ce203b1d257b2a6fe64c8a2961645

commit 9976b42b697ce203b1d257b2a6fe64c8a2961645
Author:     Thomas Skibo <thomas-bsd at skibo.net>
AuthorDate: 2021-01-11 20:58:12 +0000
Commit:     Mitchell Horne <mhorne at FreeBSD.org>
CommitDate: 2021-02-18 15:53:14 +0000

    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
---
 sys/kern/subr_devmap.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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);
 	}
 }