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