kernel_thread::syscall::thread

Function sys_sched_yield

Source 
pub(super) fn sys_sched_yield(_task: &Sel4Task) -> SysResult