efi_loader: use correct type for AllocatePages, AllocatePool
authorHeinrich Schuchardt <heinrich.schuchardt@canonical.com>
Tue, 17 Aug 2021 13:05:31 +0000 (15:05 +0200)
committerHeinrich Schuchardt <heinrich.schuchardt@canonical.com>
Tue, 17 Aug 2021 15:24:08 +0000 (17:24 +0200)
commit49d225e7bf3a26adfe6093978c04e454c82bd955
tree0147c9de5eb3ac88a38deafdad07509eed59bd21
parentc91737b7f1a5180b8944eea2121347ef6429b17c
efi_loader: use correct type for AllocatePages, AllocatePool

Use enum efi_memory_type and enum_allocate_type in the definitions of the
efi_allocate_pages(), efi_allocate_pool().

In the external UEFI API leave the type as int as the UEFI specification
explicitely requires that enums use a 32bit type.

Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
include/efi_loader.h
lib/efi_loader/efi_memory.c