Searched refs:pool_type (Results 1 – 3 of 3) sorted by relevance
| /rk3399_rockchip-uboot/lib/efi_loader/ |
| H A D | efi_memory.c | 354 efi_status_t efi_allocate_pool(int pool_type, unsigned long size, in efi_allocate_pool() argument
366 r = efi_allocate_pages(0, pool_type, num_pages, &t); in efi_allocate_pool()
|
| H A D | efi_boottime.c | 220 static efi_status_t EFIAPI efi_allocate_pool_ext(int pool_type, in efi_allocate_pool_ext() argument
226 EFI_ENTRY("%d, %ld, %p", pool_type, size, buffer); in efi_allocate_pool_ext()
227 r = efi_allocate_pool(pool_type, size, buffer); in efi_allocate_pool_ext()
|
| /rk3399_rockchip-uboot/include/ |
| H A D | efi_loader.h | 177 efi_status_t efi_allocate_pool(int pool_type, unsigned long size,
|