Symbol: alpha_broadcast_ipi
sys/arch/alpha/alpha/ipifuncs.c
323
alpha_broadcast_ipi(ALPHA_IPI_XCALL);
sys/arch/alpha/alpha/ipifuncs.c
345
alpha_broadcast_ipi(ALPHA_IPI_GENERIC);
sys/arch/alpha/alpha/machdep.c
1071
alpha_broadcast_ipi(ALPHA_IPI_HALT);
sys/arch/alpha/include/intr.h
191
void alpha_broadcast_ipi(unsigned long);