//! Chapter 20. Message Proxy Extension (EID #0x4D505859 "MPXY")

/// Extension ID for Message Proxy Extension.
pub const EID_MPXY: usize = crate::eid_from_str("MPXY") as _;
pub use fid::*;

/// Declared in §20.12.
mod fid {
    /// Function ID to set the shared memory for sending and receiving messages on the calling hart.
    ///
    /// Declared in §20.5.
    pub const SET_SHMEM: usize = 0;
    /// Function ID to get channel ids of the message channels accessible to the supervisor software in the shared memory of the calling hart.
    ///
    /// Declared in §20.6.
    pub const GET_CHANNEL_IDS: usize = 1;
    /// Function ID to read message channel attributes.
    ///
    /// Declared in §20.7.
    pub const READ_ATTRIBUTE: usize = 2;
    /// Function ID to write message channel attributes.
    ///
    /// Declared in §20.8.
    pub const WRITE_ATTRIBUTE: usize = 3;
    /// Function ID to send a message to the mpxy channel and waits for sbi implementation for the message response.
    ///
    /// Declared in 20.9.
    pub const SEND_MESSAGE_WITH_RESPONSE: usize = 4;
    /// Function ID to send a message to the mpxy channel and does not waits for response.
    ///
    /// Declared in 20.10.
    pub const SEND_MESSAGE_WITHOUT_RESPONSE: usize = 5;
    /// Function ID to get the message protocol specific notification events on the mpxy channel.
    ///
    /// Declared in 20.11.
    pub const GET_NOTIFICATION_EVENTS: usize = 6;
}