Symbol: alpha_ipi_init
sys/arch/alpha/alpha/cpu.c
493
alpha_ipi_init(ci);
sys/arch/alpha/include/intr.h
188
void alpha_ipi_init(struct cpu_info *);