Source position: pthrlinux.inc line 279
function pthread_barrier_destroy(
__barrier: ppthread_barrier_t
):cint;