kernel_thread::syscall::thread

Function sys_tkill

Source 
pub(super) fn sys_tkill(task: &Sel4Task, tid: usize, signum: usize) -> SysResult