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/getac/p470/mainboard.h | |
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/getac/p470/mainboard.h')
0 files changed, 0 insertions, 0 deletions