# CONFIG_PWM_DWC is not set
