/* 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;