2018-05-02 06:20:06 +03:00
|
|
|
#include <signal.h>
|
|
|
|
#include <syscall.h>
|
2018-12-10 04:09:27 +03:00
|
|
|
#include <syscall_nums.h>
|
2018-10-08 04:23:10 +03:00
|
|
|
#include <errno.h>
|
2018-05-02 06:20:06 +03:00
|
|
|
|
2018-12-10 04:09:27 +03:00
|
|
|
DEFN_SYSCALL2(send_signal, SYS_KILL, uint32_t, uint32_t);
|
2018-05-02 06:20:06 +03:00
|
|
|
|
|
|
|
int kill(int pid, int sig) {
|
2018-10-08 04:23:10 +03:00
|
|
|
__sets_errno(syscall_send_signal(pid, sig));
|
2018-05-02 06:20:06 +03:00
|
|
|
}
|
|
|
|
|