Index: kernel/arch/ia64/include/interrupt.h
===================================================================
--- kernel/arch/ia64/include/interrupt.h	(revision 1b03ed3b0f72c4a681368777badef603e27fb184)
+++ kernel/arch/ia64/include/interrupt.h	(revision 7782030a5944566e96b3a1307067dc1993fd1a64)
@@ -51,4 +51,6 @@
 
 /** External Interrupt vectors. */
+
+#define VECTOR_TLB_SHOOTDOWN_IPI 0xf0
 #define INTERRUPT_TIMER		255
 #define IRQ_KBD			241