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
This commit is contained in:
Andrew Turner 2020-06-18 06:21:00 +00:00
parent 4c7d1ab06d
commit c794cdc0a2

View File

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