MVSOCTMR_TIMER
MVSOCTMR_TIMER(MVSOCTMR_TIMER1));
bus_space_write_4(sc->sc_iot, sc->sc_ioh, MVSOCTMR_TIMER(num), ticks);