Symbol: ALPHA_IPI_GENERIC
sys/arch/alpha/alpha/ipifuncs.c
342
alpha_send_ipi(ci->ci_cpuid, ALPHA_IPI_GENERIC);
sys/arch/alpha/alpha/ipifuncs.c
345
alpha_broadcast_ipi(ALPHA_IPI_GENERIC);
sys/arch/alpha/alpha/ipifuncs.c
77
[ilog2(ALPHA_IPI_GENERIC)] = alpha_ipi_generic
sys/arch/alpha/alpha/ipifuncs.c
87
[ilog2(ALPHA_IPI_GENERIC)] = "generic ipi",