Constant sel4_sys::invocation_label::TCBSetPriority

pub const TCBSetPriority: u32 = 6u32;