MPIC_USES_DCR
flags |= MPIC_USES_DCR;
if (mpic->flags & MPIC_USES_DCR)
BUG_ON(mpic->flags & MPIC_USES_DCR);