Symbol: ALPHA_IPI_AST
sys/arch/alpha/alpha/cpu.c
699
alpha_send_ipi(ci->ci_cpuid, ALPHA_IPI_AST);
sys/arch/alpha/alpha/pmap.c
586
alpha_multicast_ipi((pmap)->pm_cpus, ALPHA_IPI_AST); \