/* Get the period value of the TMR4 counter.  */
uint16_t TMR4_GetPeriodValue(const CM_TMR4_TypeDef *TMR4x)
/* Get the period value of the TMR4 counter.  */
uint16_t TMR4_GetPeriodValue(const CM_TMR4_TypeDef *TMR4x)
{
    DDL_ASSERT(IS_TMR4_UNIT(TMR4x));
    return READ_REG16(TMR4x->CPSR);
}