efi_close_devpath
void efi_close_devpath(EFI_HANDLE);
efi_close_devpath(condev);
efi_close_devpath(handles[index]);
efi_close_devpath(h);
efi_close_devpath(h);
efi_close_devpath(h);
efi_close_devpath(h);