Symbol: alpha_ipi_pause
sys/arch/alpha/alpha/ipifuncs.c
59
void alpha_ipi_pause(struct cpu_info *, struct trapframe *);
sys/arch/alpha/alpha/ipifuncs.c
72
alpha_ipi_pause