Symbol: IPI_COUNT
sys/arch/ia64/ia64/sal.c
49
int ipi_vector[IPI_COUNT];
sys/arch/ia64/ia64/sal.c
83
while (ipi < IPI_COUNT)