From 1b6dd6d772cac39d314665609e54329c08da4e77 Mon Sep 17 00:00:00 2001 From: Philip Paeps Date: Fri, 20 Dec 2019 03:40:53 +0000 Subject: [PATCH] Print upper 32 bits in devmap table entries If the devmap entry uses the upper 32 bits they wouldn't be printed in devmap_dump_table(). This fixes that. Submitted by: Nicholas O'Brien Sponsored by: Axiado --- sys/kern/subr_devmap.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sys/kern/subr_devmap.c b/sys/kern/subr_devmap.c index 5eb3bb777fd..5ed996b9c7c 100644 --- a/sys/kern/subr_devmap.c +++ b/sys/kern/subr_devmap.c @@ -73,7 +73,7 @@ devmap_dump_table(int (*prfunc)(const char *, ...)) prfunc("Static device mappings:\n"); for (pd = devmap_table; pd->pd_size != 0; ++pd) { - prfunc(" 0x%08x - 0x%08x mapped at VA 0x%08x\n", + prfunc(" 0x%08jx - 0x%08jx mapped at VA 0x%08jx\n", pd->pd_pa, pd->pd_pa + pd->pd_size - 1, pd->pd_va); } }