12345678#ifndef PTHREAD_KILL_H#define PTHREAD_KILL_H long sys_pthread_kill(int thread_port, int sig); #endif