mpic_is_ipi 1070 arch/powerpc/sysdev/mpic.c if (!mpic_is_ipi(mpic, hw) && (mpic->flags & MPIC_NO_RESET)) { mpic_is_ipi 1675 arch/powerpc/sysdev/mpic.c if (mpic_is_ipi(mpic, src)) {