Source position: pthrlinux.inc line 300
function pthread_kill(
__thread: pthread_t;
__signo: cint
):cint;