Searched refs:pool_type (Results 1 – 3 of 3) sorted by relevance
| /u-boot/lib/efi_loader/ |
| A D | efi_memory.c | 559 efi_status_t efi_allocate_pool(int pool_type, efi_uintn_t size, void **buffer) in efi_allocate_pool() argument
575 r = efi_allocate_pages(EFI_ALLOCATE_ANY_PAGES, pool_type, num_pages, in efi_allocate_pool()
|
| A D | efi_boottime.c | 459 static efi_status_t EFIAPI efi_allocate_pool_ext(int pool_type, in efi_allocate_pool_ext() argument
465 EFI_ENTRY("%d, %zd, %p", pool_type, size, buffer); in efi_allocate_pool_ext()
466 r = efi_allocate_pool(pool_type, size, buffer); in efi_allocate_pool_ext()
669 int pool_type; in efi_create_event() local
682 pool_type = EFI_BOOT_SERVICES_DATA; in efi_create_event()
685 pool_type = EFI_RUNTIME_SERVICES_DATA; in efi_create_event()
702 ret = efi_allocate_pool(pool_type, sizeof(struct efi_event), in efi_create_event()
|
| /u-boot/include/ |
| A D | efi_loader.h | 579 efi_status_t efi_allocate_pool(int pool_type, efi_uintn_t size,
|
Completed in 12 milliseconds