Constant sel4_sys::invocation_label::TCBSetSpace

source ยท 
pub const TCBSetSpace: u32 = 11u32;