/* IA64_IPI_DM_INT - pend an interrupt IA64_IPI_DM_PMI - pend a PMI IA64_IPI_DM_NMI - pend an NMI IA64_IPI_DM_INIT - pend an INIT interrupt  */
void sn2_send_IPI(int cpuid, int vector, int delivery_mode, int redirect)
/* IA64_IPI_DM_INT - pend an interrupt IA64_IPI_DM_PMI - pend a PMI IA64_IPI_DM_NMI - pend an NMI IA64_IPI_DM_INIT - pend an INIT interrupt  */
void sn2_send_IPI(int cpuid, int vector, int delivery_mode, int redirect)
{
	long physid;
	int nasid;
	physid = cpu_physical_id(cpuid);
	nasid = cpuid_to_nasid(cpuid);
	if (unlikely(nasid == -1))
		ia64_sn_get_sapic_info(physid, &nasid, NULL, NULL);
	sn_send_IPI_phys(nasid, physid, vector, delivery_mode);
}