1<assertions> 2 <assertion id="1" tag="ref:XSH6:35472:35473"> 3 pthread_spin_destroy( ) function shall destroy the spin lock 4 referenced by lock and release any resources used by the lock. 5 </assertion> 6 7 <assertion id="2" tag="ref:XSH6:35496:35507"> 8 Upon successful completion, these functions shall return zero; 9 otherwise, an error number shall be returned to indicate the error. 10 </assertion> 11 12 <assertion id="3" tag="ref:XSH6:35496:35507"> 13 14 The functions may fail if: 15 [EBUSY] The implementation has detected an attempt to 16 initialize or destroy a spin lock while it is in use 17 (for example, while being used in a pthread_spin_lock( ) 18 call) by another thread. 19 20 [EINVAL] The value specified by lock is invalid. 21 22 These functions shall not return an error code of EINTR. 23 24 </assertion> 25</assertions> 26 27