Symbol: MC33XS2410_PWM_MAX_PERIOD