TCBConfigure

sel4_sys::invocation_label

Constant TCBConfigure 

Source 
pub const TCBConfigure: u32 = 5u32;