Type Alias sel4_microkit::MessageLabel

pub type MessageLabel = u64;