svn commit: r362013 - head/sys/kern

[Ed Maste]

Author: emaste
Date: Wed Jun 10 16:00:43 2020
New Revision: 362013
URL: https://svnweb.freebsd.org/changeset/base/362013

Log:
  Fix arm64 kernel build with DEBUG on
  
  Submitted by:	Greg V <greg at unrelenting.technology>, andrew
  Differential Revision:	https://reviews.freebsd.org/D24986

Modified:
  head/sys/kern/subr_intr.c

Modified: head/sys/kern/subr_intr.c
==============================================================================
--- head/sys/kern/subr_intr.c	Wed Jun 10 14:39:54 2020	(r362012)
+++ head/sys/kern/subr_intr.c	Wed Jun 10 16:00:43 2020	(r362013)
@@ -797,8 +797,8 @@ intr_pic_register(device_t dev, intptr_t xref)
 	if (pic == NULL)
 		return (NULL);
 
-	debugf("PIC %p registered for %s <dev %p, xref %x>\n", pic,
-	    device_get_nameunit(dev), dev, xref);
+	debugf("PIC %p registered for %s <dev %p, xref %jx>\n", pic,
+	    device_get_nameunit(dev), dev, (uintmax_t)xref);
 	return (pic);
 }