Symbol: mpic_ipi_read
arch/powerpc/sysdev/mpic.c
1674
reg = mpic_ipi_read(src - mpic->ipi_vecs[0]) &
arch/powerpc/sysdev/mpic.c
786
mpic_ipi_write(src, mpic_ipi_read(src) & ~MPIC_VECPRI_MASK);