Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 26678e5a1f0f0a6dda91a9e89a03aa3ca86e447c)
+++ kernel/arch/ia64/src/interrupt.c	(revision cd13c2a2d5332c0249aa16ae516a706713e6846f)
@@ -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 */
-}
-
 /** @}
  */