MessageRegisterValue
sel4_
microkit
0.1.0
sel4_microkit
Type Alias
Message
Register
Value
Copy item path
Source
pub type MessageRegisterValue = u64;
Expand description
Type alias for message register values.