seL4_ModeObjectTypeCount

sel4_sys::_mode_object

Constant seL4_ModeObjectTypeCount 

Source 
pub const seL4_ModeObjectTypeCount: Type = 6;