Yield

sel4_sys::syscall_id

Constant Yield 

Source 
pub const Yield: i32 = -11i32;