#include <sys/mutex.h>
void mutex_release_indirect(volatile MUTEX **mutex)
{
mutex_release((MUTEX*)*mutex);
};