X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=ao_mutex.c;h=8212a515570506bb740c0f62445f58f43f8fa87b;hp=12c67960751ccc1970a27769ec4c707e730d3fdf;hb=902c342289c1d13a4d55b9224acb6d67578b7a60;hpb=ac99982b10fd5772218660137ee21db9b90cd885

diff --git a/ao_mutex.c b/ao_mutex.c
index 12c67960..8212a515 100644
--- a/ao_mutex.c
+++ b/ao_mutex.c
@@ -18,7 +18,7 @@
 #include "ao.h"
 
 void
-ao_mutex_get(__xdata uint8_t *mutex)
+ao_mutex_get(__xdata uint8_t *mutex) __reentrant
 {
 	if (*mutex == ao_cur_task->task_id)
 		ao_panic(AO_PANIC_MUTEX);
@@ -30,7 +30,7 @@ ao_mutex_get(__xdata uint8_t *mutex)
 }
 
 void
-ao_mutex_put(__xdata uint8_t *mutex)
+ao_mutex_put(__xdata uint8_t *mutex) __reentrant
 {
 	if (*mutex != ao_cur_task->task_id)
 		ao_panic(AO_PANIC_MUTEX);