Constant sel4_sys::invocation_label::TCBSetMCPriority

pub const TCBSetMCPriority: u32 = 7u32;