Searched refs:efi_free_pool (Results 1 – 1 of 1) sorted by relevance
56 static void efi_free_pool(void *ptr) in efi_free_pool() function88 efi_free_pool(m); in efi_get_memory_map()246 efi_free_pool(file_info); in efi_load_image()255 efi_free_pool(file_info); in efi_load_image()262 efi_free_pool(*data); in efi_load_image()282 efi_free_pool(*buffer); in efi_grow_buffer()293 efi_free_pool(*buffer); in efi_grow_buffer()470 efi_free_pool(*efi_bootinfo.mem_map.map); in efi_main()