<assertions>
  <assertion id="1" tag="ref:XSH6:35574:355575">
  The pthread_spin_unlock( ) function shall release the spin lock referenced by lock which was
  locked via the pthread_spin_lock( ) or pthread_spin_trylock( ) functions.
  </assertion>

  <assertion id="2" tag="ref:XSH6:35581:35582">
  Upon successful completion, the pthread_spin_unlock( ) function shall return zero; otherwise,
  an error number shall be returned to indicate the error.
  </assertion>

  <assertion id="3" tag="ref:XSH6:35584:35587">
	The pthread_spin_unlock( ) function may fail if:
	[EINVAL] An invalid argument was specified.
	[EPERM] The calling thread does not hold the lock.

  	These functions shall not return an error code of EINTR.
  </assertion>
</assertions>

