#include <magenta/futex.h>
#include <pthread.h>

int pthread_mutex_unlock(pthread_mutex_t *mut)
{
	mut->__v = 0;
	futex_wake(&mut->__v, 1, FUTEX_PRIVATE);
}