Lines Matching defs:sc_ipi_num

185 	int			 sc_ipi_num[3]; /* id for each ipi */
646 		sc->sc_ipi_num[ARM_IPI_NOP] = ipiirq[0];
647 		sc->sc_ipi_num[ARM_IPI_DDB] = ipiirq[0];
648 		sc->sc_ipi_num[ARM_IPI_HALT] = ipiirq[0];
654 		sc->sc_ipi_num[ARM_IPI_NOP] = ipiirq[0];
658 		sc->sc_ipi_num[ARM_IPI_DDB] = ipiirq[1];
659 		sc->sc_ipi_num[ARM_IPI_HALT] = ipiirq[1];
665 		sc->sc_ipi_num[ARM_IPI_NOP] = ipiirq[0];
669 		sc->sc_ipi_num[ARM_IPI_DDB] = ipiirq[1];
673 		sc->sc_ipi_num[ARM_IPI_HALT] = ipiirq[2];
1454 	agintc_eoi(sc->sc_ipi_num[ARM_IPI_HALT]);
1505 	sendmask |= (sc->sc_ipi_num[id] << 24);