X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fstm%2Fao_arch.h;h=76fa91947bd619d1884cbda63de15b94cd14db7e;hb=324073d14ed8215b74d9df51f2229827cd4401d0;hp=757b5251db3e0bf38d43cd8b492a483d98216a49;hpb=afad5ae893a48785f3b50ff4125dc78648343a2d;p=fw%2Faltos

diff --git a/src/stm/ao_arch.h b/src/stm/ao_arch.h
index 757b5251..76fa9194 100644
--- a/src/stm/ao_arch.h
+++ b/src/stm/ao_arch.h
@@ -34,6 +34,8 @@
 #define AO_TICK_SIGNED	int16_t
 #endif
 
+#define AO_PORT_TYPE	uint16_t
+
 /* Various definitions to make GCC look more like SDCC */
 
 #define ao_arch_naked_declare	__attribute__((naked))
@@ -88,6 +90,10 @@ extern const uint32_t ao_radio_cal;
  * For now, we're running at a weird frequency
  */
 
+#ifndef AO_HSE
+#error High speed frequency undefined
+#endif
+
 #if AO_HSE
 #define AO_PLLSRC	AO_HSE
 #else
@@ -129,6 +135,9 @@ extern const uint32_t	ao_radio_cal;
 void
 ao_adc_init();
 
+/* ADC maximum reported value */
+#define AO_ADC_MAX			4095
+
 #define AO_BOOT_APPLICATION_BASE	((uint32_t *) 0x08001000)
 #define AO_BOOT_LOADER_BASE		((uint32_t *) 0x0)
 #define HAS_BOOT_LOADER			1