*/
void
-ao_mutex_get(__xdata uint8_t *ao_mutex);
+ao_mutex_get(__xdata uint8_t *ao_mutex) __reentrant;
void
-ao_mutex_put(__xdata uint8_t *ao_mutex);
+ao_mutex_put(__xdata uint8_t *ao_mutex) __reentrant;
/*
* ao_ee.c
#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);
}
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);