Symbol: alpha_ipi_process_with_frame
sys/arch/alpha/include/cpu.h
279
alpha_ipi_process_with_frame(__ci); \
sys/arch/alpha/include/intr.h
206
void alpha_ipi_process_with_frame(struct cpu_info *);