X-Git-Url: https://git.gag.com/?a=blobdiff_plain;ds=sidebyside;f=src%2Fkernel%2Fao_notask.h;h=6ad15a56cf14eb49bdd1edc795ce0333e2c8573e;hb=b4a31f4bba8edee32d4f41780bd62bcfa064f20a;hp=ce622b630e7d92f834fa78883749f178faa2992a;hpb=7cd8e0aca8ea42a5ff077971e439b0816608b324;p=fw%2Faltos

diff --git a/src/kernel/ao_notask.h b/src/kernel/ao_notask.h
index ce622b63..6ad15a56 100644
--- a/src/kernel/ao_notask.h
+++ b/src/kernel/ao_notask.h
@@ -25,4 +25,7 @@ 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_ */