Searched refs:efi_allocate_pool (Results 1 - 8 of 8) sorted by relevance
/u-boot/lib/efi_loader/ |
H A D | efi_conformance.c | 31 ret = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, ecpt_size,
|
H A D | efi_esrt.c | 118 ret = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, size, 255 ret = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, info_size, 385 ret = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, info_size,
|
H A D | efi_memory.c | 637 * efi_allocate_pool - allocate memory from pool 644 efi_status_t efi_allocate_pool(enum efi_memory_type pool_type, efi_uintn_t size, void **buffer) function 684 if (efi_allocate_pool(EFI_BOOT_SERVICES_DATA, size, &buf) != 714 /* Check that this memory was allocated by efi_allocate_pool() */ 810 ret = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, *map_size,
|
H A D | efi_boottime.c | 513 r = efi_allocate_pool(pool_type, size, buffer); 755 ret = efi_allocate_pool(pool_type, sizeof(struct efi_event), 2472 r = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, buffer_size, 2529 r = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, buffer_size, 2563 r = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, buffer_size, 3412 ret = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, 4019 ret = efi_allocate_pool(EFI_RUNTIME_SERVICES_DATA,
|
H A D | efi_gop.c | 55 ret = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, sizeof(gopobj->info),
|
H A D | efi_runtime.c | 118 ret = efi_allocate_pool(EFI_RUNTIME_SERVICES_DATA,
|
H A D | efi_tcg2.c | 819 ret = efi_allocate_pool(EFI_ACPI_MEMORY_NVS, TPM2_EVENT_LOG_SIZE, 909 ret = efi_allocate_pool(EFI_BOOT_SERVICES_DATA, TPM2_EVENT_LOG_SIZE,
|
/u-boot/include/ |
H A D | efi_loader.h | 779 efi_status_t efi_allocate_pool(enum efi_memory_type pool_type,
|
Completed in 89 milliseconds