This document defines the coverage for the pthread_rwlock_destroy function:

Assertion	Tested?
1		YES
2		YES
3		YES ** Tested EBUSY, but not EINVAL,

NOTE: