Type Alias sel4_sys::api_object::Type

pub type Type = c_uint;