Symbol: alpha_send_ipi
sys/arch/alpha/alpha/cpu.c
531
alpha_send_ipi(cpu_id, ALPHA_IPI_PAUSE);
sys/arch/alpha/alpha/cpu.c
699
alpha_send_ipi(ci->ci_cpuid, ALPHA_IPI_AST);
sys/arch/alpha/alpha/ipifuncs.c
129
alpha_send_ipi(ci->ci_cpuid, ipimask);
sys/arch/alpha/alpha/ipifuncs.c
151
alpha_send_ipi(ci->ci_cpuid, ipimask);
sys/arch/alpha/alpha/machdep.c
1691
alpha_send_ipi(oci->ci_cpuid, ipi);
sys/arch/alpha/include/intr.h
210
void alpha_send_ipi(unsigned long, unsigned long);