kernel_thread::syscall::signal

Function sys_kill

Source 
pub(super) fn sys_kill(task: &Sel4Task, pid: usize, sig: usize) -> SysResult