Symbol: ALPHA_IPI_AST
sys/arch/alpha/alpha/ipifuncs.c
74
[ilog2(ALPHA_IPI_AST)] = alpha_ipi_ast,
sys/arch/alpha/alpha/ipifuncs.c
84
[ilog2(ALPHA_IPI_AST)] = "ast ipi",
sys/arch/alpha/alpha/machdep.c
1940
alpha_send_ipi(ci->ci_cpuid, ALPHA_IPI_AST);