mpic_is_ipi
if (!mpic_is_ipi(mpic, hw) && (mpic->flags & MPIC_NO_RESET)) {
if (mpic_is_ipi(mpic, src)) {