Index: uspace/lib/usbhost/src/ddf_helpers.c
===================================================================
--- uspace/lib/usbhost/src/ddf_helpers.c	(revision ba4a03a5128c12a813b86aec7796e57c21dffead)
+++ uspace/lib/usbhost/src/ddf_helpers.c	(revision 781351656354d292b596e2f57cbf85de18a08a22)
@@ -725,5 +725,5 @@
 	irq_code_t irq_code = {0};
 
-	int irq = gen_irq_code(&irq_code, hw_res);
+	const int irq = gen_irq_code(&irq_code, hw_res);
 	if (irq < 0) {
 		usb_log_error("Failed to generate IRQ code: %s.\n",
@@ -749,6 +749,6 @@
 		return ret;
 	}
-
-	return EOK;
+	assert(irq > 0);
+	return irq;
 }
 /**