/* pwm.c */
#define PWM_MAX 0x1E4 /* This should be different than ADC frequency 125 kHz */
+#define PWM_STEP_SHIFT 2 /* second parameter of pwm_set is shifted by
+ * PWM_STEP_SHIFT bits to the right before setting
+ * into HW */
void init_pwm();
void susp_pwm();
void pwm_off(unsigned char n);
void pwm_set(unsigned char n, uint16_t stride);
+void pwm_timer();
/* tmr.c */
extern volatile uint16_t jiffies;
void pwmled_init();
void pwmled_adc(unsigned char n, uint16_t adcval);
void pwmled_set_mode(unsigned char n, unsigned char mode);
-unsigned char pwmled_enabled(unsigned char n);
/* gpio.c */
void gpio_init();