/* Make all the timers in the idle state.  */
static void timer_deactive_control(dw_timer_reg_t *addr)
/* Make all the timers in the idle state.  */
static void timer_deactive_control(dw_timer_reg_t *addr)
{
    addr->TxControl &= ~DW_TIMER_TXCONTROL_ENABLE;
    addr->TxControl |= DW_TIMER_TXCONTROL_INTMASK;
}