Index: xen/evtchn/evtchn.c
===================================================================
--- xen/evtchn/evtchn.c	(Revision 190598)
+++ xen/evtchn/evtchn.c	(Arbeitskopie)
@@ -512,7 +512,7 @@
 int 
 bind_virq_to_irqhandler(unsigned int virq, unsigned int cpu,
     const char *devname, driver_filter_t filter, driver_intr_t handler,
-    unsigned long irqflags, unsigned int *irqp)
+    void *arg, unsigned long irqflags, unsigned int *irqp)
 {
 	unsigned int irq;
 	int error;