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 /src/mainboard/gigabyte/ga-g41m-es2l/devicetree.cb | |
| 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>
Diffstat (limited to 'src/mainboard/gigabyte/ga-g41m-es2l/devicetree.cb')
0 files changed, 0 insertions, 0 deletions