altos: Fix a bunch of time variables to be AO_TICK_TYPE

[fw/altos] / src / attiny / ao_arch.h

diff --git a/src/attiny/ao_arch.h b/src/attiny/ao_arch.h
index 84a94be7e452f4fc22d188a864257f7a97f26ee1..eecd297bab6e5b2729771a010d1ec6d51ac4596a 100644 (file)
--- a/src/attiny/ao_arch.h
+++ b/src/attiny/ao_arch.h
@@ -34,6 +34,13 @@
 
 #define AO_PORT_TYPE   uint8_t
 
+#define AO_LED_TYPE    uint8_t
+
+#ifndef AO_TICK_TYPE
+#define AO_TICK_TYPE   uint16_t
+#define AO_TICK_SIGNED int16_t
+#endif
+
 /* Various definitions to make GCC look more like SDCC */
 
 #define ao_arch_naked_declare  __attribute__((naked))
@@ -47,6 +54,8 @@
 
 #define ao_arch_interrupt(n)   /* nothing */
 
+#define AO_ROMCONFIG_SYMBOL __attribute__((section(".romconfig"))) const
+
 #undef putchar
 #undef getchar
 #define putchar(c)     ao_putchar(c)
@@ -68,7 +77,7 @@
 #define ao_mutex_put(m)
 
 void
-ao_delay_until(uint16_t target);
+ao_delay_until(AO_TICK_TYPE target);
 
 /* We can't hit 100 Hz, but we can hit 125 */
 #define AO_HERTZ       125