Index: uspace/lib/usbhost/include/usb/host/ddf_helpers.h
===================================================================
--- uspace/lib/usbhost/include/usb/host/ddf_helpers.h	(revision 4e732f1aa54271f1ae2860aba3864e766f33cddc)
+++ uspace/lib/usbhost/include/usb/host/ddf_helpers.h	(revision 6eb957dc03c2cd2c6e13a28a9aa5ec04955bd913)
@@ -58,5 +58,5 @@
     interrupt_handler_t handler,
     int (*gen_irq_code)(irq_code_t *, const hw_res_list_parsed_t *));
-void ddf_hcd_gen_irq_handler(ddf_dev_t *dev, ipc_callid_t iid, ipc_call_t *call);
+void ddf_hcd_gen_irq_handler(ipc_callid_t iid, ipc_call_t *call, ddf_dev_t *dev);
 int ddf_hcd_device_setup_all(ddf_dev_t *device, usb_speed_t speed, size_t bw,
     bw_count_func_t bw_count,
Index: uspace/lib/usbhost/src/ddf_helpers.c
===================================================================
--- uspace/lib/usbhost/src/ddf_helpers.c	(revision 4e732f1aa54271f1ae2860aba3864e766f33cddc)
+++ uspace/lib/usbhost/src/ddf_helpers.c	(revision 6eb957dc03c2cd2c6e13a28a9aa5ec04955bd913)
@@ -761,5 +761,5 @@
  * @param[in] call Pointer to the call from kernel.
  */
-void ddf_hcd_gen_irq_handler(ddf_dev_t *dev, ipc_callid_t iid, ipc_call_t *call)
+void ddf_hcd_gen_irq_handler(ipc_callid_t iid, ipc_call_t *call, ddf_dev_t *dev)
 {
 	assert(dev);