Symbol: efi_allocate_type
headers/private/kernel/platform/efi/boot-services.h
93
efi_status (*AllocatePages) (efi_allocate_type type, efi_memory_type memory_type,
headers/private/kernel/platform/efi/protocol/pci-root-bridge-io.h
96
efi_allocate_type type, efi_memory_type memory_type,