sel4_sys::invocation_label

Constant TCBSetPriority

Source 
pub const TCBSetPriority: u32 = 6u32;