altos: Make ao_wakeup reentrant
[fw/altos] / src / core / ao_task.h
index e3a311ed1c187f2eb8defda23998375d3661ead6..9c56b48021d6dd4ebe83c69f44aa04c5ade023c3 100644 (file)
@@ -70,7 +70,7 @@ ao_sleep(__xdata void *wchan);
 
 /* Wake all tasks sleeping on wchan */
 void
-ao_wakeup(__xdata void *wchan);
+ao_wakeup(__xdata void *wchan) __reentrant;
 
 /* set an alarm to go off in 'delay' ticks */
 void