Am 7. Mai 2025 16:46:17 MESZ schrieb Adriano Cordova <adria...@gmail.com>:
>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);
Why wouldn't the code work for u64 which is defined as unsigned long long? That
type must be supported by all EFI architectures.
Best regards
Heinrich
> print(u"\r\n");
>
> return EFI_SUCCESS;
