# CONFIG_PWM_PROVIDE_GPIO is not set
