#ifndef PTHREAD_KILL_H
#define PTHREAD_KILL_H

long sys_pthread_kill(int thread_port, int sig);

#endif