From patchwork Sun Sep 23 19:04:00 2012 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Subject: [17/18] uefi: csm: print format using inttypes Date: Sun, 23 Sep 2012 09:04:00 -0000 From: Colin King X-Patchwork-Id: 186266 Message-Id: <1348427041-4913-18-git-send-email-colin.king@canonical.com> To: fwts-devel@lists.ubuntu.com, colin.king@canonical.com From: Colin Ian King Signed-off-by: Colin Ian King Acked-by: Keng-Yu Lin Acked-by: Ivan Hu --- src/uefi/csm/csm.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/uefi/csm/csm.c b/src/uefi/csm/csm.c index c6f614d..4f755ba 100644 --- a/src/uefi/csm/csm.c +++ b/src/uefi/csm/csm.c @@ -20,6 +20,7 @@ #ifdef FWTS_ARCH_INTEL #include +#include /* Real Mode IDT */ #define INT_VEC_START (0x00000000) @@ -67,9 +68,9 @@ static int csm_test1(fwts_framework *fw) int ROMend = BIOS_ROM_REGION_START+i+length; if ((ROMstart <= int10hVec) && (int10hVec <= ROMend)) { - fwts_log_info(fw, "Int 10h jumps to 0x%x in option ROM at: " + fwts_log_info(fw, "Int 10h jumps to 0x%" PRIx32 " in option ROM at: " "0x%x..0x%0x", - (int)int10hVec, ROMstart, ROMend); + int10hVec, ROMstart, ROMend); flag |= VGA_SUPPORT; break; }