Symbol: BERLIN_PWM_MAX_TCNT