Searched refs:efi_pool_allocation (Results 1 – 1 of 1) sorted by relevance
44 struct efi_pool_allocation { struct369 struct efi_pool_allocation *alloc = (void *)(uintptr_t)t; in efi_allocate_pool()380 struct efi_pool_allocation *alloc; in efi_free_pool()385 alloc = container_of(buffer, struct efi_pool_allocation, data); in efi_free_pool()