altos: Remove support for !HAS_TASK_QUEUE
[fw/altos] / src / stm32l0 / ao_arch.h
index e51ab319af8adb884d760dec3f25f473c8508155..542d2eec3572f850a8ea5b63008af478f7a08b64 100644 (file)
@@ -120,6 +120,9 @@ ao_adc_init(void);
 #define AO_LED_TYPE uint16_t
 #endif
 
+void
+ao_timer_stop(void);
+
 #endif /* _AO_ARCH_H_ */