Type Alias sel4_microkit::MessageLabel

source ยท 
pub type MessageLabel = u64;
Expand description

Type alias for MessageInfo labels.