kernel_thread::syscall::thread

Function sys_exit

Source 
pub(super) fn sys_exit(task: &Sel4Task, exit_code: u32) -> SysResult