linux_pksignal
static int linux_pksignal(struct thread *td, int pid, int sig,
return (linux_pksignal(td, args->pid, sig, &ksi));
return (linux_pksignal(td, pid, sig, &ksi));