#include <signal.h>
#include <syscall.h>

DEFN_SYSCALL2(send_signal, 37, uint32_t, uint32_t);

int kill(int pid, int sig) {
	return syscall_send_signal(pid, sig);
}