sel4_sys::invocation_label

Constant TCBSetSpace

Source 
pub const TCBSetSpace: u32 = 10u32;