#include "pthread_impl.h"
int pthread_kill(pthread_t t, int sig)
{
int r;
__lock(&t->killlock);
r = t->dead ? ESRCH : -__syscall(SYS_tgkill, t->pid, t->tid, sig);
a_store(&t->killlock, 0);
return r;
}