Skip to main content

TCBSetMCPriority

sel4_sys::invocation_label

Constant TCBSetMCPriority 

Source 
pub const TCBSetMCPriority: u32 = 7u32;