void timer_start_adcs();
/* pwm.c */
-#define PWM_MAX 0x1FF
+#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_needs_adc(unsigned char n);
-unsigned char pwmled_enabled(unsigned char n);
/* gpio.c */
void gpio_init();
unsigned char duration: 5;
} pattern_t;
+#define PATTERN_FOREVER 0x1F
#define PATTERN_END { 0, 0 }
extern pattern_t off_pattern[];
+extern pattern_t zero_pattern[];
extern pattern_t on_pattern[];
+extern pattern_t mode1_pattern[];
void pattern_init();
void patterns_next_tick();
-void led_set_status(unsigned char status);
void led_set_pattern(unsigned char led, pattern_t *pattern);
+pattern_t *number_pattern(unsigned char num);
/* buttons.c */
#define MAX_USER_PARAMS 3
void init_buttons();
void timer_check_buttons();
unsigned char get_user_param(unsigned char param);
+pattern_t *status_pattern_select(unsigned char n);
/* battery.c */
extern volatile unsigned char battery_100mv;