# CONFIG_PWM_TIEHRPWM is not set
