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