Index: uspace/lib/usbhost/include/usb/host/ddf_helpers.h
===================================================================
--- uspace/lib/usbhost/include/usb/host/ddf_helpers.h	(revision 3be9d10120f7923a0b3d52282b8de0b670566c71)
+++ uspace/lib/usbhost/include/usb/host/ddf_helpers.h	(revision fd57745cd4811832fa23ba1cef7638038244f2b5)
@@ -58,5 +58,5 @@
 errno_t hcd_ddf_get_registers(hc_device_t *hcd, hw_res_list_parsed_t *hw_res);
 
-void hcd_ddf_gen_irq_handler(cap_call_handle_t iid, ipc_call_t *call, ddf_dev_t *dev);
+void hcd_ddf_gen_irq_handler(cap_call_handle_t icall_handle, ipc_call_t *call, ddf_dev_t *dev);
 
 #endif