Index: kernel/arch/ia64/src/drivers/it.c
===================================================================
--- kernel/arch/ia64/src/drivers/it.c	(revision ee06f2a049baaea0e4c9fc693e7c3c34f3105202)
+++ kernel/arch/ia64/src/drivers/it.c	(revision 17f168ea0a58301762156920e112c588faa90d23)
@@ -57,6 +57,6 @@
 static irq_t it_irq;
 
-static irq_ownership_t it_claim(void);
-static void it_interrupt(irq_t *irq, void *arg, ...);
+static irq_ownership_t it_claim(void *);
+static void it_interrupt(irq_t *irq);
 
 /** Initialize Interval Timer. */
@@ -105,5 +105,5 @@
  * @return Always IRQ_ACCEPT.
  */
-irq_ownership_t it_claim(void)
+irq_ownership_t it_claim(void *instance)
 {
 	return IRQ_ACCEPT;
@@ -111,5 +111,5 @@
 
 /** Process Interval Timer interrupt. */
-void it_interrupt(irq_t *irq, void *arg, ...)
+void it_interrupt(irq_t *irq)
 {
 	int64_t c;
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision ee06f2a049baaea0e4c9fc693e7c3c34f3105202)
+++ kernel/arch/ia64/src/interrupt.c	(revision 17f168ea0a58301762156920e112c588faa90d23)
@@ -267,5 +267,5 @@
 		irq = irq_dispatch_and_lock(ivr.vector);
 		if (irq) {
-			irq->handler(irq, irq->arg);
+			irq->handler(irq);
 			spinlock_unlock(&irq->lock);
 		} else {
@@ -284,5 +284,5 @@
 				end_of_local_irq();
 			}
-			irq->handler(irq, irq->arg);
+			irq->handler(irq);
 			if (!irq->preack)
 				end_of_local_irq();
Index: kernel/arch/ia64/src/ski/ski.c
===================================================================
--- kernel/arch/ia64/src/ski/ski.c	(revision ee06f2a049baaea0e4c9fc693e7c3c34f3105202)
+++ kernel/arch/ia64/src/ski/ski.c	(revision 17f168ea0a58301762156920e112c588faa90d23)
@@ -187,5 +187,5 @@
  * @return Always IRQ_DECLINE.
  */
-static irq_ownership_t ski_kbd_claim(void)
+static irq_ownership_t ski_kbd_claim(void *instance)
 {
 	return IRQ_DECLINE;