X_TIMERREG_RESTART_COUNTER
TIMERREG_V(X_TIMERREG_RESTART_COUNTER),
csio_sge_timer_reg = X_TIMERREG_RESTART_COUNTER;