Type Alias sel4_microkit::MessageRegisterValue

source ยท 
pub type MessageRegisterValue = u64;
Expand description

Type alias for message register values.