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

Assertion	Tested?
1		YES
2		YES
3		YES "May" assertion, always pass

NOTE: