Searched refs:efi_pool_allocation (Results 1 – 1 of 1) sorted by relevance
41 struct efi_pool_allocation { struct384 u64 num_pages = (size + sizeof(struct efi_pool_allocation) + in efi_allocate_pool()396 struct efi_pool_allocation *alloc = (void *)(uintptr_t)t; in efi_allocate_pool()413 struct efi_pool_allocation *alloc; in efi_free_pool()418 alloc = container_of(buffer, struct efi_pool_allocation, data); in efi_free_pool()