X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fstm%2Fao_arch.h;h=e83b6bd2cfbf3e1dac4a7c2816703fcf1214ba08;hb=338372b97d441c30d2a23df540163a66a7f8d8c0;hp=e56375ca35a9524314e601cd84fb776ce58ebc07;hpb=0686a7b8aec524d81bda4c572549a3a068ce0eed;p=fw%2Faltos

diff --git a/src/stm/ao_arch.h b/src/stm/ao_arch.h
index e56375ca..e83b6bd2 100644
--- a/src/stm/ao_arch.h
+++ b/src/stm/ao_arch.h
@@ -30,11 +30,6 @@
 #define AO_STACK_SIZE	512
 #endif
 
-#ifndef AO_TICK_TYPE
-#define AO_TICK_TYPE	uint16_t
-#define AO_TICK_SIGNED	int16_t
-#endif
-
 #define AO_PORT_TYPE	uint16_t
 
 /* Various definitions to make GCC look more like SDCC */
@@ -58,9 +53,6 @@
 
 #define AO_ROMCONFIG_SYMBOL __attribute__((section(".romconfig"))) const
 
-#define ao_arch_task_members\
-	uint32_t *sp;			/* saved stack pointer */
-
 /*
  * For now, we're running at a weird frequency
  */
@@ -119,7 +111,7 @@ void ao_lcd_font_string(char *s);
 extern const uint32_t	ao_radio_cal;
 
 void
-ao_adc_init();
+ao_adc_init(void);
 
 /* ADC maximum reported value */
 #define AO_ADC_MAX			4095