See pthread_spin_destroy.html