Type Alias seL4_ArchObjectType 

pub type seL4_ArchObjectType = c_uint;