Index: generic/include/ipc/ipc.h
===================================================================
--- generic/include/ipc/ipc.h	(revision f49f16c955824b1944b9c6df94195e51b67db084)
+++ generic/include/ipc/ipc.h	(revision 8abbcc9858b56f6fbc9af504791bd35090d5573d)
@@ -122,6 +122,4 @@
  */
 #define IPC_M_PHONE_HUNGUP      3
-/** Interrupt notification */
-#define IPC_M_INTERRUPT         4
 
 /** Send as_area over IPC 
Index: generic/include/ipc/irq.h
===================================================================
--- generic/include/ipc/irq.h	(revision f49f16c955824b1944b9c6df94195e51b67db084)
+++ generic/include/ipc/irq.h	(revision 8abbcc9858b56f6fbc9af504791bd35090d5573d)
@@ -58,4 +58,5 @@
 	void *addr;
 	unsigned long long value; 
+	int dstarg;
 } irq_cmd_t;
 
@@ -72,5 +73,5 @@
 extern int ipc_irq_register(answerbox_t *box, int irq, irq_code_t *ucode);
 extern void ipc_irq_send_notif(int irq);
-extern void ipc_irq_send_msg(int irq, __native a2, __native a3);
+extern void ipc_irq_send_msg(int irq, __native a1, __native a2, __native a3);
 extern void ipc_irq_unregister(answerbox_t *box, int irq);
 extern void irq_ipc_bind_arch(__native irq);