| <assertions> |
| <assertion id="1" tag="ref:XSH6:35472:35473"> |
| pthread_spin_destroy( ) function shall destroy the spin lock |
| referenced by lock and release any resources used by the lock. |
| </assertion> |
| |
| <assertion id="2" tag="ref:XSH6:35496:35507"> |
| Upon successful completion, these functions shall return zero; |
| otherwise, an error number shall be returned to indicate the error. |
| </assertion> |
| |
| <assertion id="3" tag="ref:XSH6:35496:35507"> |
| |
| The functions may fail if: |
| [EBUSY] The implementation has detected an attempt to |
| initialize or destroy a spin lock while it is in use |
| (for example, while being used in a pthread_spin_lock( ) |
| call) by another thread. |
| |
| [EINVAL] The value specified by lock is invalid. |
| |
| These functions shall not return an error code of EINTR. |
| |
| </assertion> |
| </assertions> |
| |