Index: sys/kern/subr_intr.c
===================================================================
--- sys/kern/subr_intr.c
+++ sys/kern/subr_intr.c
@@ -797,8 +797,8 @@
 	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 %lx>\n", pic,
+	    device_get_nameunit(dev), dev, (unsigned long)xref);
 	return (pic);
 }