Type Alias sel4_microkit::MessageRegisterValue

pub type MessageRegisterValue = u64;