On 32bit systems u64 cannot directly be cast to void *.

Signed-off-by: Heinrich Schuchardt <[email protected]>
---
 lib/efi_selftest/initrddump.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/efi_selftest/initrddump.c b/lib/efi_selftest/initrddump.c
index c23a05c718..325951b498 100644
--- a/lib/efi_selftest/initrddump.c
+++ b/lib/efi_selftest/initrddump.c
@@ -272,7 +272,7 @@ static efi_status_t get_initrd(void **initrd, efi_uintn_t 
*initrd_size)
                error(L"Out of memory\r\n");
                return ret;
        }
-       *initrd = (void *)buffer;
+       *initrd = (void *)(uintptr_t)buffer;
        ret = load_file2_prot->load_file(load_file2_prot, dp, false,
                                         initrd_size, *initrd);
        if (ret != EFI_SUCCESS) {
--
2.30.1

Reply via email to