Index: uspace/drv/audio/hdaudio/hdaudio.c
===================================================================
--- uspace/drv/audio/hdaudio/hdaudio.c	(revision de16f892e37393d27d9d32f487cc511dc31bbd38)
+++ uspace/drv/audio/hdaudio/hdaudio.c	(revision 089901ee8ce49168ea8f8adca63057de93de5f95)
@@ -58,5 +58,5 @@
 static int hda_fun_offline(ddf_fun_t *fun);
 
-static void hdaudio_interrupt(ddf_dev_t *, ipc_callid_t, ipc_call_t *);
+static void hdaudio_interrupt(ipc_callid_t, ipc_call_t *, ddf_dev_t *);
 
 static driver_ops_t driver_ops = {
@@ -366,6 +366,6 @@
 }
 
-static void hdaudio_interrupt(ddf_dev_t *dev, ipc_callid_t iid,
-    ipc_call_t *icall)
+static void hdaudio_interrupt(ipc_callid_t iid, ipc_call_t *icall,
+    ddf_dev_t *dev)
 {
 	hda_t *hda = (hda_t *)ddf_dev_data_get(dev);
Index: uspace/drv/audio/sb16/main.c
===================================================================
--- uspace/drv/audio/sb16/main.c	(revision de16f892e37393d27d9d32f487cc511dc31bbd38)
+++ uspace/drv/audio/sb16/main.c	(revision 089901ee8ce49168ea8f8adca63057de93de5f95)
@@ -77,5 +77,5 @@
 }
 
-static void irq_handler(ddf_dev_t *dev, ipc_callid_t iid, ipc_call_t *call)
+static void irq_handler(ipc_callid_t iid, ipc_call_t *call, ddf_dev_t *dev)
 {
 	sb16_t *sb16_dev = ddf_dev_data_get(dev);