Source position: pthrlinux.inc line 288
function pthread_getspecific(
__key: pthread_key_t
):pointer;