pthreads: document pthread_mutex.h