Symbol: ALPHA_IPI_PAUSE
sys/arch/alpha/alpha/cpu.c
792
alpha_send_ipi(cpu_id, ALPHA_IPI_PAUSE);
sys/arch/alpha/alpha/ipifuncs.c
75
[ilog2(ALPHA_IPI_PAUSE)] = alpha_ipi_pause,
sys/arch/alpha/alpha/ipifuncs.c
85
[ilog2(ALPHA_IPI_PAUSE)] = "pause ipi",