/* logging.c */
#ifdef USE_LOGGING
+void init_log();
void log_set_state(unsigned char val);
-void log_init();
void log_flush();
void log_byte(unsigned char byte);
void log_word(uint16_t word);
#else
+void inline init_log() { }
void inline log_set_state(unsigned char val) { }
-void inline log_init() { }
void inline log_flush() { }
void inline log_byte(unsigned char byte) { }
void inline log_word(uint16_t word) { }
/* adc.c */
void init_adc();
void susp_adc();
-void timer_start_adcs();
/* pwm.c */
#define PWM_MAX 0x1E4 /* This should be different than ADC frequency 125 kHz */