Merge branch 'master' of ssh://git.gag.com/scm/git/fw/altos

[fw/altos] / src / kernel / ao_notask.h

diff --git a/src/kernel/ao_notask.h b/src/kernel/ao_notask.h
index ce622b630e7d92f834fa78883749f178faa2992a..f698a4ee2426014985a32e45e526afbf39556980 100644 (file)
--- a/src/kernel/ao_notask.h
+++ b/src/kernel/ao_notask.h
@@ -19,10 +19,16 @@
 #ifndef _AO_NOTASK_H_
 #define _AO_NOTASK_H_
 
+void
+ao_delay_until(AO_TICK_TYPE target);
+
 uint8_t
 ao_sleep(void *wchan);
 
 void
 ao_wakeup(void *wchan);
 
+static inline void ao_mutex_get(uint8_t *m) {(void) m;}
+static inline void ao_mutex_put(uint8_t *m) {(void) m;}
+
 #endif /* _AO_NOTASK_H_ */