This document defines the coverage for the pthread_mutex_init function:

Assertion	Tested?
1		YES
2		YES
3		YES
4		YES
5		YES
			5-1.c: Test for ENOMEM
			speculative/5-2.c: Test for EPERM. Not available on
Linux.
NOTE:
