Constant seL4_NonArchObjectTypeCount 

pub const seL4_NonArchObjectTypeCount: Type = 5;