/* Set the count value of the TMR4 counter.  */
void TMR4_SetCountValue(CM_TMR4_TypeDef *TMR4x, uint16_t u16Value)
/* Set the count value of the TMR4 counter.  */
void TMR4_SetCountValue(CM_TMR4_TypeDef *TMR4x, uint16_t u16Value)
{
    DDL_ASSERT(IS_TMR4_UNIT(TMR4x));
    WRITE_REG16(TMR4x->CNTR, u16Value);
}