Type Alias seL4_ModeObjectType 

pub type seL4_ModeObjectType = c_uint;