Searched refs:efi_free_pool (Results 1 – 7 of 7) sorted by relevance
355 efi_free_pool(bootefi_image_path); in bootefi_test_prepare()358 efi_free_pool(bootefi_device_path); in bootefi_test_prepare()512 efi_free_pool(bootefi_device_path); in efi_set_bootdev()513 efi_free_pool(bootefi_image_path); in efi_set_bootdev()
84 efi_free_pool(dev_path_text); in do_efi_show_devices()543 efi_free_pool(device_path); in do_efi_boot_add()544 efi_free_pool(file_path); in do_efi_boot_add()633 efi_free_pool(dp_str); in show_efi_boot_opt_data()
202 efi_free_pool(file_path); in efi_fs_from_path()206 efi_free_pool(device_path); in efi_fs_from_path()260 efi_free_pool(node); in efi_disk_add_dev()
473 efi_status_t efi_free_pool(void *buffer) in efi_free_pool() function
418 r = efi_free_pool(buffer); in efi_free_pool_ext()2860 efi_free_pool(buffer); in efi_connect_single_controller()
382 efi_status_t efi_free_pool(void *buffer);
314 efi_free_pool(str); in device_path_string()