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