Constant seL4_ModeObjectTypeCount 

pub const seL4_ModeObjectTypeCount: Type = 7;