From d552acac1dd5c74661c94d2ca0d75f1a3a109f5b Mon Sep 17 00:00:00 2001 From: Jacob Garber Date: Tue, 16 Jul 2019 12:55:00 -0600 Subject: device/device_util.c: Correct format specifier path.mmio.addr is a uintptr_t, which is an unsigned long. Change-Id: I5e43e0ab65cf59819abe1dde43143ff98e4553b0 Signed-off-by: Jacob Garber Found-by: Coverity CID 1402110 Reviewed-on: https://review.coreboot.org/c/coreboot/+/34370 Tested-by: build bot (Jenkins) Reviewed-by: HAOUAS Elyes --- src/device/device_util.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/device/device_util.c') diff --git a/src/device/device_util.c b/src/device/device_util.c index 7ded1df43544..3f503b54f840 100644 --- a/src/device/device_util.c +++ b/src/device/device_util.c @@ -229,7 +229,7 @@ const char *dev_path(const struct device *dev) dev->path.usb.port_type, dev->path.usb.port_id); break; case DEVICE_PATH_MMIO: - snprintf(buffer, sizeof(buffer), "MMIO: %08x", + snprintf(buffer, sizeof(buffer), "MMIO: %08lx", dev->path.mmio.addr); break; default: -- cgit v1.2.3