MessageLabel
sel4_
microkit
0.1.0
sel4_microkit
Type Alias
Message
Label
Copy item path
Source
pub type MessageLabel = u64;
Expand description
Type alias for
MessageInfo
labels.