mutex_unlock
#define mutex_unlock(a) (void)0
#define mutex_unlock(m) __libc_mutex_unlock((m))
#define mutex_unlock(m) __nothing
#define mutex_unlock(lock) mtx_leave(lock)
#define mutex_unlock(lock) mutex_exit(lock)