This document defines the coverage for the pthread_spin_init() function:

Assertion	Tested?
1		YES
2		YES 
3		YES
4		YES

NOTE:
