diff options
| author | Jacob Garber <jgarber1@ualberta.ca> | 2019-07-16 12:55:00 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-07-19 17:16:57 +0000 |
| commit | d552acac1dd5c74661c94d2ca0d75f1a3a109f5b (patch) | |
| tree | 2e4f925d4aff6f4cef817bd5244bda6a3a9673b0 | |
| parent | 02592ec2912e064f0cd0f6a5094382913f1f6b2f (diff) | |
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 <jgarber1@ualberta.ca>
Found-by: Coverity CID 1402110
Reviewed-on: https://review.coreboot.org/c/coreboot/+/34370
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
| -rw-r--r-- | src/device/device_util.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/device/device_util.c b/src/device/device_util.c index 7ded1df435..3f503b54f8 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: |