Constant seL4_NonArchObjectTypeCount

pub const seL4_NonArchObjectTypeCount: Type = 5;