Enum Message

kernel/src/message.rs:41–44

Messages can be either Short or Long Short messages just contain values Long messages can contain memory or communication handles.

/// Short messages just contain values
/// Long messages can contain memory or communication handles.
pub enum Message {
    Short(u64, u64, u64),
    Long(u64, MessageData, MessageData),
}

// Syscall message control bits
//