timer_read_4
val = timer_read_4(sc, TIMER_CTRL_REG(0));
val = timer_read_4(sc, TIMER_CTRL_REG(0));
val = timer_read_4(sc, TIMER_IRQ_EN_REG);
val = timer_read_4(sc, TIMER_CTRL_REG(0));
val = timer_read_4(sc, TIMER_CTRL_REG(0));
val = timer_read_4(sc, TIMER_CTRL_REG(0));
val = timer_read_4(sc, TIMER_INTV_REG(0));
val = timer_read_4(sc, TIMER_CTRL_REG(0));
val = timer_read_4(sc, TIMER_CURV_REG(0));
val = timer_read_4(sc, TIMER_CURV_REG(0));
while (timer_read_4(sc, CNT64_CTRL_REG) & CNT64_CTRL_RL_EN)
hi = timer_read_4(sc, CNT64_HI_REG);
lo = timer_read_4(sc, CNT64_LO_REG);