Symbol: alpha_multicast_ipi
sys/arch/alpha/alpha/pmap.c
1075
alpha_multicast_ipi(remote_cpus, ALPHA_IPI_SHOOTDOWN);
sys/arch/alpha/include/intr.h
192
void alpha_multicast_ipi(unsigned long, unsigned long);