altos: Move empty ao_mutex_get/put to ao_notask.h

Make it work on any no-task project.

Signed-off-by: Keith Packard <keithp@keithp.com>

diff --git a/src/attiny/ao_arch.h b/src/attiny/ao_arch.h
index eecd297bab6e5b2729771a010d1ec6d51ac4596a..1a2bd34be251472563faeaf1e206da07f525cd9d 100644 (file)
--- a/src/attiny/ao_arch.h
+++ b/src/attiny/ao_arch.h
@@ -73,9 +73,6 @@
 #define ao_arch_block_interrupts()     cli()
 #define ao_arch_release_interrupts()   sei()
 
-#define ao_mutex_get(m)
-#define ao_mutex_put(m)
-
 void
 ao_delay_until(AO_TICK_TYPE target);
 

diff --git a/src/kernel/ao_notask.h b/src/kernel/ao_notask.h
index ce622b630e7d92f834fa78883749f178faa2992a..6ad15a56cf14eb49bdd1edc795ce0333e2c8573e 100644 (file)
--- 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_ */