/* configure counter value, window value, and prescaler divider value  */
void wwdgt_config(uint16_t counter, uint16_t window, uint32_t prescaler)
/* configure counter value, window value, and prescaler divider value  */
void wwdgt_config(uint16_t counter, uint16_t window, uint32_t prescaler)
{
    WWDGT_CTL = (uint32_t)(CTL_CNT(counter));
    WWDGT_CFG = (uint32_t)(CFG_WIN(window) | prescaler);
}