[PATCH 1/3] efi_loader: initrddump: use efi_uintn_t in printx

[Adriano Cordova]

Use efi_uintn_t so that it also works in 32-bits.

Signed-off-by: Adriano Cordova <adriano.cordova at canonical.com>
---
 lib/efi_loader/initrddump.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/efi_loader/initrddump.c b/lib/efi_loader/initrddump.c
index 615119043d1..8d08f7c5cd5 100644
--- a/lib/efi_loader/initrddump.c
+++ b/lib/efi_loader/initrddump.c
@@ -99,7 +99,7 @@ static void error(u16 *string)
  * @val:	value to print;
  * @prec:	minimum number of digits to print
  */
-static void printx(u64 val, u32 prec)
+static void printx(efi_uintn_t val, u32 prec)
 {
 	int i;
 	u16 c;
@@ -342,7 +342,7 @@ static efi_status_t do_load(void)
 		return EFI_LOAD_ERROR;
 	}
 	print(u"crc32: 0x");
-	printx(crc32, 8);
+	printx((efi_uintn_t)crc32, 8);
 	print(u"\r\n");
 
 	return EFI_SUCCESS;
-- 
2.48.1