Symbol: pwm_channel_t