From c6e4f5914ec3fefa0351808e90b7f1cf34479c2f Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 7 May 2018 17:20:56 +0200
Subject: [PATCH] usb_block_drv: release packet after device reset

Fixes #2827
---
 repos/os/src/drivers/usb_block/main.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/src/drivers/usb_block/main.cc b/repos/os/src/drivers/usb_block/main.cc
index fa4d59163..173e6e088 100644
--- a/repos/os/src/drivers/usb_block/main.cc
+++ b/repos/os/src/drivers/usb_block/main.cc
@@ -410,8 +410,10 @@ struct Usb::Block_driver : Usb::Completion,
 			iface.control_transfer(p, 0x21, 0xff, 0, active_interface, 100);
 			if (!p.succeded) {
 				Genode::error("Could not reset device");
+				iface.release(p);
 				throw -1;
 			}
+			iface.release(p);
 
 			/*
 			 * Let us do GetMaxLUN and simply ignore the return value because none