From ee787b53d734cd952c170c9303d213d3dd18a86f Mon Sep 17 00:00:00 2001 From: Khem Raj Date: Thu, 8 Jun 2017 16:49:50 -0700 Subject: [PATCH 1/6] Add correct printf qualifier for off_t Signed-off-by: Khem Raj --- Upstream-Status: Pending src/bios/ebda_region/ebda_region.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/bios/ebda_region/ebda_region.c b/src/bios/ebda_region/ebda_region.c index b70ced10..947a24bd 100644 --- a/src/bios/ebda_region/ebda_region.c +++ b/src/bios/ebda_region/ebda_region.c @@ -83,9 +83,9 @@ static int ebda_test1(fwts_framework *fw) if ((entry != NULL) && (entry->type == FWTS_MEMORY_MAP_RESERVED || entry->type == FWTS_MEMORY_MAP_ACPI)) { - fwts_passed(fw, "EBDA region mapped at 0x%lx and reserved as a %" PRId64 + fwts_passed(fw, "EBDA region mapped at 0x%jdx and reserved as a %" PRId64 "K region in the %s table at 0x%" PRIx64 "..0x%" PRIx64 ".", - ebda_addr, + (intmax_t)ebda_addr, (entry->end_address - entry->start_address) / 1024, memory_map_name, entry->start_address, @@ -93,9 +93,9 @@ static int ebda_test1(fwts_framework *fw) } else fwts_failed(fw, LOG_LEVEL_MEDIUM, "EBDAMappedNotReserved", - "EBDA region mapped at 0x%lx but not reserved in the %s table.", - ebda_addr, memory_map_name); - + "EBDA region mapped at 0x%jdx but not reserved in the %s table.", + (intmax_t)ebda_addr, memory_map_name); + return FWTS_OK; } -- 2.25.1