#ifndef _AO_NOTASK_H_
#define _AO_NOTASK_H_
+void
+ao_delay_until(AO_TICK_TYPE target);
+
uint8_t
-ao_sleep(__xdata void *wchan);
+ao_sleep(void *wchan);
void
-ao_wakeup(__xdata void *wchan);
+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_ */