Function sel4_sys::seL4_Yield

source ยท
pub fn seL4_Yield()