Fix arm64 kernel build with DEBUG on

Submitted by:	Greg V <greg@unrelenting.technology>, andrew
Differential Revision:	https://reviews.freebsd.org/D24986
This commit is contained in:
Ed Maste 2020-06-10 16:00:43 +00:00
parent c7dada4c03
commit cff33fa8c8

View File

@ -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);
}