MESON_TIMER_MUX
uint32_t mask = TIMER_READ(sc, MESON_TIMER_MUX);
TIMER_WRITE(sc, MESON_TIMER_MUX, mask);