From c794cdc0a2caaefe938f4603d52563ebeec9ce38 Mon Sep 17 00:00:00 2001 From: Andrew Turner Date: Thu, 18 Jun 2020 06:21:00 +0000 Subject: [PATCH] Stop assuming we can print rman_res_t with %lx This is not the case on armv6 and armv7, where we also build this driver. Fix by casting through uintmax_t and using %jx. Sponsored by: Innovate UK --- sys/dev/pci/pci_host_generic.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/sys/dev/pci/pci_host_generic.c b/sys/dev/pci/pci_host_generic.c index 08cd14633aa9..b70711816016 100644 --- a/sys/dev/pci/pci_host_generic.c +++ b/sys/dev/pci/pci_host_generic.c @@ -386,9 +386,10 @@ pci_host_generic_core_alloc_resource(device_t dev, device_t child, int type, } if (!found) { device_printf(dev, - "Failed to allocate %s resource %lx-%lx for %s\n", + "Failed to allocate %s resource %jx-%jx for %s\n", type == SYS_RES_IOPORT ? "IOPORT" : "MEMORY", - start, end, device_get_nameunit(child)); + (uintmax_t)start, (uintmax_t)end, + device_get_nameunit(child)); return (NULL); } break;