linux_send_sig
void linux_send_sig(int signo, struct task_struct *task);
linux_send_sig(signo, task); \