Index: kernel/arch/ia32/include/interrupt.h
===================================================================
--- kernel/arch/ia32/include/interrupt.h	(revision 6fb30a1a9fb76291a876ee61b596d65482cc7302)
+++ kernel/arch/ia32/include/interrupt.h	(revision a000fd71083ee6c3d075fc87d57f7801ca6dd58b)
@@ -40,4 +40,5 @@
 
 #define IVT_ITEMS		IDT_ITEMS
+#define IVT_FIRST		0
 
 #define EXC_COUNT	32
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision 6fb30a1a9fb76291a876ee61b596d65482cc7302)
+++ kernel/arch/ia32/src/interrupt.c	(revision a000fd71083ee6c3d075fc87d57f7801ca6dd58b)
@@ -190,10 +190,4 @@
 }
 
-static void ipc_int(int n, istate_t *istate)
-{
-	ipc_irq_send_notif(n-IVT_IRQBASE);
-	trap_virtual_eoi();
-}
-
 /** @}
  */