Symbol: alpha_ipi_imb
sys/arch/alpha/alpha/ipifuncs.c
55
void alpha_ipi_imb(struct cpu_info *, struct trapframe *);
sys/arch/alpha/alpha/ipifuncs.c
68
alpha_ipi_imb,