diff options
| author | Heinrich Schuchardt <[email protected]> | 2021-08-17 15:05:31 +0200 |
|---|---|---|
| committer | Heinrich Schuchardt <[email protected]> | 2021-08-17 17:24:08 +0200 |
| commit | 49d225e7bf3a26adfe6093978c04e454c82bd955 (patch) | |
| tree | 0147c9de5eb3ac88a38deafdad07509eed59bd21 /scripts/objdiff | |
| 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 <[email protected]>
Diffstat (limited to 'scripts/objdiff')
0 files changed, 0 insertions, 0 deletions