Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/arch/ia64/src/interrupt.c	(revision 9be2358aadbef3865ee2b3ab546d8b1f56d79cd6)
@@ -301,8 +301,4 @@
 }
 
-void trap_virtual_enable_irqs(uint16_t irqmask)
-{
-}
-
 void exception_init(void)
 {