| commit | 49d225e7bf3a26adfe6093978c04e454c82bd955 | [log] [tgz] |
|---|---|---|
| author | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | Tue Aug 17 15:05:31 2021 +0200 |
| committer | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | Tue Aug 17 17:24:08 2021 +0200 |
| tree | 0147c9de5eb3ac88a38deafdad07509eed59bd21 | |
| parent | c91737b7f1a5180b8944eea2121347ef6429b17c [diff] |
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>