Type Alias sel4_sys::seL4_ArchObjectType

pub type seL4_ArchObjectType = c_uint;