Type Alias seL4_seL4ArchObjectType 

pub type seL4_seL4ArchObjectType = c_uint;