#include <sys/syscall.h>
#include <sys/types.h>
#include <errno.h>

/* Send a signal to a thread */
int
tgkill(pid_t tgid, pid_t tid, int sig)
{
	int ret;
	asm volatile("int $0x80" : "=a" (ret) : "0" (SYSCALL_TGKILL),
	             "c" (3), "S" (&tgid));
	if (ret >= 0)
		return ret;
	errno = -ret;
	return -1;
}