Index: kernel/generic/src/mm/tlb.c
===================================================================
--- kernel/generic/src/mm/tlb.c	(revision eeb2bde2cd490c6feb4ee861d340112bfcb495af)
+++ kernel/generic/src/mm/tlb.c	(revision ff3b7da7acb81fa6d9a3a13f7c7f96b11b4cb59d)
@@ -135,5 +135,7 @@
 void tlb_shootdown_ipi_send(void)
 {
+#ifndef ia64
 	ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI);
+#endif	
 }