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