Index: kernel/arch/xen32/src/interrupt.c
===================================================================
--- kernel/arch/xen32/src/interrupt.c	(revision de57e0601410d3336e18d797fc95a74b2dce44c0)
+++ kernel/arch/xen32/src/interrupt.c	(revision 80ca47ec494fe784edd1700f9ebacc597962a7e3)
@@ -189,10 +189,4 @@
 }
 
-static void ipc_int(int n, istate_t *istate)
-{
-	ipc_irq_send_notif(n-IVT_IRQBASE);
-	trap_virtual_eoi();
-}
-
 /** @}
  */