mpic_ipi_write    783 arch/powerpc/sysdev/mpic.c 	mpic_ipi_write(src, mpic_ipi_read(src) & ~MPIC_VECPRI_MASK);
mpic_ipi_write   1591 arch/powerpc/sysdev/mpic.c 		mpic_ipi_write(i,
mpic_ipi_write   1678 arch/powerpc/sysdev/mpic.c 		mpic_ipi_write(src - mpic->ipi_vecs[0],