From ee787b53d734cd952c170c9303d213d3dd18a86f Mon Sep 17 00:00:00 2001
From: Khem Raj <raj.khem@gmail.com>
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 <raj.khem@gmail.com>
---
 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