diff options
| author | Andrew Turner <andrew@FreeBSD.org> | 2020-06-18 06:21:00 +0000 |
|---|---|---|
| committer | Andrew Turner <andrew@FreeBSD.org> | 2020-06-18 06:21:00 +0000 |
| commit | c794cdc0a2caaefe938f4603d52563ebeec9ce38 (patch) | |
| tree | d0d4654affceb94d57d866b681f45a965285f30d /sys/dev/pci | |
| parent | 4c7d1ab06db7f3163e1363bff031bbc3d5e3f88a (diff) | |
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
Notes
Notes:
svn path=/head/; revision=362295
Diffstat (limited to 'sys/dev/pci')
| -rw-r--r-- | sys/dev/pci/pci_host_generic.c | 5 |
1 files 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; |