Symbol: alpha_multicast_ipi
sys/arch/alpha/alpha/pmap.c
3492
alpha_multicast_ipi(cpumask, ALPHA_IPI_SHOOTDOWN);
sys/arch/alpha/alpha/pmap.c
586
alpha_multicast_ipi((pmap)->pm_cpus, ALPHA_IPI_AST); \
sys/arch/alpha/include/intr.h
212
void alpha_multicast_ipi(unsigned long, unsigned long);