svn commit: r355925 - head/sys/kern

[Philip Paeps]

Author: philip
Date: Fri Dec 20 03:40:53 2019
New Revision: 355925
URL: https://svnweb.freebsd.org/changeset/base/355925

Log:
  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 <nickisobrien_gmail.com>
  Sponsored by:   Axiado

Modified:
  head/sys/kern/subr_devmap.c

Modified: head/sys/kern/subr_devmap.c
==============================================================================
--- head/sys/kern/subr_devmap.c	Fri Dec 20 03:40:50 2019	(r355924)
+++ head/sys/kern/subr_devmap.c	Fri Dec 20 03:40:53 2019	(r355925)
@@ -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);
 	}
 }