Symbol: mpic_is_ipi
arch/powerpc/sysdev/mpic.c
1073
if (!mpic_is_ipi(mpic, hw) && (mpic->flags & MPIC_NO_RESET)) {
arch/powerpc/sysdev/mpic.c
1673
if (mpic_is_ipi(mpic, src)) {