Index: kernel/arch/ia64/src/smp/smp.c
===================================================================
--- kernel/arch/ia64/src/smp/smp.c	(revision 0aa1665b932e64c1786b7cc2ee1964f9694cfd8b)
+++ kernel/arch/ia64/src/smp/smp.c	(revision 14c331aa8a95390b7d62d94fc64a2dc44a610cba)
@@ -97,5 +97,17 @@
 void ipi_broadcast_arch(int ipi )
 {
-	ipi_broadcast_arch_all(ipi);
+	int id,eid;
+	int myid,myeid;
+	
+	myid=ia64_get_cpu_id();
+	myeid=ia64_get_cpu_eid();
+
+	//printf("Sending ipi %d on %d\n",ipi,CPU->id);
+	for(id=0;id<256;id++)
+		for(eid=0;eid<256;eid++)
+			if((id!=myid) || (eid!=myeid))
+				if(cpu_by_id_eid_list[id][eid])
+					ipi_send_ipi(id,eid,ipi);
+
 }