[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.cord...@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