altos: Fix several mis-specified time types
[fw/altos] / src / lpc / ao_arch.h
index 7821839e12d200e87c350a9149fb23dee16cb591..93676b860ff6c9edfb79804805307f288fd67c75 100644 (file)
 
 #define AO_LED_TYPE    AO_PORT_TYPE
 
-#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))