4 extern void pwm_freq_set(int channel, u_int32_t freq);
5 extern void pwm_start(int channel);
6 extern void pwm_stop(int channel);
7 extern void pwm_duty_set_percent(int channel, u_int16_t duty);
8 extern void pwm_init(void);
9 extern void pwm_fini(void);