void pwm_setDuty(PwmDev dev, pwm_duty_t duty);
void pwm_setFrequency(PwmDev dev, pwm_freq_t freq);
void pwm_enable(PwmDev dev, bool state);
void pwm_setDuty(PwmDev dev, pwm_duty_t duty);
void pwm_setFrequency(PwmDev dev, pwm_freq_t freq);
void pwm_enable(PwmDev dev, bool state);