sel4_microkit

Type Alias MessageLabel

Source 
pub type MessageLabel = u64;
Expand description

Type alias for MessageInfo labels.