Source position: pthrlinux.inc line 287
function pthread_setspecific(
__key: pthread_key_t;
__pointer: pointer
):cint;