Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 7688b5d81bb7cda5ecfe3b596ada34a7472b02f2)
+++ kernel/arch/amd64/src/interrupt.c	(revision 6fb30a1a9fb76291a876ee61b596d65482cc7302)
@@ -173,14 +173,4 @@
 }
 
-
-/* Reregister irq to be IPC-ready */
-void irq_ipc_bind_arch(unative_t irq)
-{
-	if (irq == IRQ_CLK)
-		return;
-	exc_register(IVT_IRQBASE+irq, "ipc_int", ipc_int);
-	trap_virtual_enable_irqs(1 << irq);
-}
-
 /** @}
  */
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision 7688b5d81bb7cda5ecfe3b596ada34a7472b02f2)
+++ kernel/arch/ia32/src/interrupt.c	(revision 6fb30a1a9fb76291a876ee61b596d65482cc7302)
@@ -196,15 +196,4 @@
 }
 
-
-/* Reregister irq to be IPC-ready */
-void irq_ipc_bind_arch(unative_t irq)
-{
-	if (irq == IRQ_CLK)
-		return;
-	exc_register(IVT_IRQBASE+irq, "ipc_int", ipc_int);
-	trap_virtual_enable_irqs(1 << irq);
-}
-
 /** @}
  */
-
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 7688b5d81bb7cda5ecfe3b596ada34a7472b02f2)
+++ kernel/arch/ia64/src/interrupt.c	(revision 6fb30a1a9fb76291a876ee61b596d65482cc7302)
@@ -260,16 +260,4 @@
 }
 
-/* Reregister irq to be IPC-ready */
-void irq_ipc_bind_arch(unative_t irq)
-{
-	if(irq == IRQ_KBD) {
-		kbd_uspace = 1;
-		return;
-	}
-	return;
-	panic("not implemented\n");
-	/* TODO */
-}
-
 /** @}
  */
Index: kernel/arch/xen32/src/interrupt.c
===================================================================
--- kernel/arch/xen32/src/interrupt.c	(revision 7688b5d81bb7cda5ecfe3b596ada34a7472b02f2)
+++ kernel/arch/xen32/src/interrupt.c	(revision 6fb30a1a9fb76291a876ee61b596d65482cc7302)
@@ -195,14 +195,4 @@
 }
 
-
-/* Reregister irq to be IPC-ready */
-void irq_ipc_bind_arch(unative_t irq)
-{
-	if (irq == IRQ_CLK)
-		return;
-	exc_register(IVT_IRQBASE+irq, "ipc_int", ipc_int);
-	trap_virtual_enable_irqs(1 << irq);
-}
-
 /** @}
  */