diff options
author | Ed Maste <emaste@FreeBSD.org> | 2020-06-10 16:00:43 +0000 |
---|---|---|
committer | Ed Maste <emaste@FreeBSD.org> | 2020-06-10 16:00:43 +0000 |
commit | cff33fa8c8eabe89398d860d07804091ec72b10d (patch) | |
tree | 5b0341aaa3c1dcd15351e74af0146d666ea7c69a | |
parent | c7dada4c031b5f4d93e1aff19e01cd642331b6e3 (diff) | |
download | src-cff33fa8c8eabe89398d860d07804091ec72b10d.tar.gz src-cff33fa8c8eabe89398d860d07804091ec72b10d.zip |
Fix arm64 kernel build with DEBUG on
Submitted by: Greg V <greg@unrelenting.technology>, andrew
Differential Revision: https://reviews.freebsd.org/D24986
Notes
Notes:
svn path=/head/; revision=362013
-rw-r--r-- | sys/kern/subr_intr.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/kern/subr_intr.c b/sys/kern/subr_intr.c index 471736e7c995..4c3c0224559e 100644 --- a/sys/kern/subr_intr.c +++ b/sys/kern/subr_intr.c @@ -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); } |