X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fattiny%2Fao_arch.h;h=1a2bd34be251472563faeaf1e206da07f525cd9d;hb=0e068689f41b74c883615f9f11a322a962cbb792;hp=dfd41afe2ec90dba9d5decdc51f7f340101fc714;hpb=0686a7b8aec524d81bda4c572549a3a068ce0eed;p=fw%2Faltos

diff --git a/src/attiny/ao_arch.h b/src/attiny/ao_arch.h
index dfd41afe..1a2bd34b 100644
--- a/src/attiny/ao_arch.h
+++ b/src/attiny/ao_arch.h
@@ -36,6 +36,11 @@
 
 #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))
@@ -68,11 +73,8 @@
 #define ao_arch_block_interrupts()	cli()
 #define ao_arch_release_interrupts()	sei()
 
-#define ao_mutex_get(m)
-#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