Symbol: alpha_broadcast_ipi
sys/arch/alpha/alpha/machdep.c
968
alpha_broadcast_ipi(ALPHA_IPI_HALT);
sys/arch/alpha/alpha/pmap.c
581
alpha_broadcast_ipi(ALPHA_IPI_IMB); \
sys/arch/alpha/include/intr.h
211
void alpha_broadcast_ipi(unsigned long);