#include <sys/mutex.h>

void	mutex_release_indirect(volatile MUTEX **mutex)
{
	mutex_release((MUTEX*)*mutex);
};