Source position: pthrlinux.inc line 274
function pthread_spin_destroy(
__lock: ppthread_spinlock_t
):cint;