| commit | 9822894074d4bbc24b55bce5d630e554d1d7aa90 | [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 | 9606646e7dd38b8f51bbfe95f0bf4e8f1470bd78 [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>