GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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>
This commit is contained in:
Jacob Garber 2019-07-16 12:55:00 -06:00 committed by Patrick Georgi
parent 02592ec291
commit d552acac1d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/device/device_util.c
View File

@ -229,7 +229,7 @@ const char *dev_path(const struct device *dev)
dev->path.usb.port_type, dev->path.usb.port_id); dev->path.usb.port_type, dev->path.usb.port_id);
break; break;
case DEVICE_PATH_MMIO: case DEVICE_PATH_MMIO:
snprintf(buffer, sizeof(buffer), "MMIO: %08x", snprintf(buffer, sizeof(buffer), "MMIO: %08lx",
dev->path.mmio.addr); dev->path.mmio.addr);
break; break;
default: default: