sel4_sys::invocation_label

Constant TCBConfigure

Source 
pub const TCBConfigure: u32 = 5u32;