INTR_MASK_ECNTR
if (!sc->sc_enabled && (intr & INTR_MASK_ECNTR)) {
pl310_write4(sc, PL310_INTR_CLEAR, INTR_MASK_ECNTR);