alpha_send_ipi
alpha_send_ipi(cpu_id, ALPHA_IPI_PAUSE);
alpha_send_ipi(ci->ci_cpuid, ipimask);
alpha_send_ipi(ci->ci_cpuid, ipimask);
alpha_send_ipi(ci->ci_cpuid, ALPHA_IPI_XCALL);
alpha_send_ipi(ci->ci_cpuid, ALPHA_IPI_GENERIC);
alpha_send_ipi(ci->ci_cpuid, ALPHA_IPI_AST);
alpha_send_ipi(hwrpb->rpb_primary_cpu_id, ALPHA_IPI_PRIMARY_CC)
void alpha_send_ipi(unsigned long, unsigned long);