Searched refs:efi_free_pool (Results 1 – 8 of 8) sorted by relevance
199 efi_free_pool(file_path); in efi_fs_from_path()203 efi_free_pool(device_path); in efi_fs_from_path()257 efi_free_pool(node); in efi_disk_add_dev()
410 efi_status_t efi_free_pool(void *buffer) in efi_free_pool() function
404 r = efi_free_pool(buffer); in efi_free_pool_ext()1538 efi_free_pool(*buffer); in efi_load_image_from_path()2717 efi_free_pool(buffer); in efi_connect_single_controller()
106 r = efi_free_pool(image); in teardown()
267 r = efi_free_pool(image); in teardown()
309 efi_status_t efi_free_pool(void *buffer);
313 efi_free_pool(str); in device_path_string()