IPI_VECTOR
ipiops.ppc_ipi_vector = IPI_VECTOR;
pic->pic_numintrs = IPI_VECTOR + 1;
ipiops.ppc_ipi_vector = IPI_VECTOR;
if (irq == IPI_VECTOR) return;
if (irq == IPI_VECTOR) return;
ipiops.ppc_ipi_vector = IPI_VECTOR;
if (irq < IPI_VECTOR)
if (irq == IPI_VECTOR) return;
if (irq == IPI_VECTOR) return;
pic->pic_numintrs = IPI_VECTOR + 1;