Searched refs:efi_free_pool (Results 1 – 3 of 3) sorted by relevance
180 efi_status_t efi_free_pool(void *buffer);
377 efi_status_t efi_free_pool(void *buffer) in efi_free_pool() function
236 r = efi_free_pool(buffer); in efi_free_pool_ext()