Constant sel4_sys::api_object::seL4_CapTableObject

pub const seL4_CapTableObject: Type = 4;