carta

pthread_mutex_init(3thr) on Linux

The text 6d56879e7a60, as Debian 1.3 (Bo) shipped it.

operations on mutexes

pthread_mutex_init(3thr) on Linux now