1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950 |
- //! Chapter 20. Message Proxy Extension (EID #0x4D505859 "MPXY")
- /// Extension ID for Message Proxy Extension.
- #[doc(alias = "SBI_EXT_MPXY")]
- pub const EID_MPXY: usize = crate::eid_from_str("MPXY") as _;
- pub use fid::*;
- /// Declared in §20.12.
- mod fid {
- /// Function ID to get the version of the message proxy extension.
- ///
- /// Declared in §20.5.
- #[doc(alias = "SBI_EXT_MPXY_GET_SHMEM_SIZE")]
- pub const GET_SHMEM_SIZE: usize = 0;
- /// Function ID to set the shared memory for sending and receiving messages on the calling hart.
- ///
- /// Declared in §20.6.
- #[doc(alias = "SBI_EXT_MPXY_SET_SHMEM")]
- pub const SET_SHMEM: usize = 1;
- /// 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.7.
- #[doc(alias = "SBI_EXT_MPXY_GET_CHANNEL_IDS")]
- pub const GET_CHANNEL_IDS: usize = 2;
- /// Function ID to read message channel attributes.
- ///
- /// Declared in §20.8.
- #[doc(alias = "SBI_EXT_MPXY_READ_ATTRS")]
- pub const READ_ATTRIBUTE: usize = 3;
- /// Function ID to write message channel attributes.
- ///
- /// Declared in §20.9.
- #[doc(alias = "SBI_EXT_MPXY_WRITE_ATTRS")]
- pub const WRITE_ATTRIBUTE: usize = 4;
- /// Function ID to send a message to the mpxy channel and waits for sbi implementation for the message response.
- ///
- /// Declared in 20.10.
- #[doc(alias = "SBI_EXT_MPXY_SEND_MSG_WITH_RESP")]
- pub const SEND_MESSAGE_WITH_RESPONSE: usize = 5;
- /// Function ID to send a message to the mpxy channel and does not waits for response.
- ///
- /// Declared in 20.11.
- #[doc(alias = "SBI_EXT_MPXY_SEND_MSG_WITHOUT_RESP")]
- pub const SEND_MESSAGE_WITHOUT_RESPONSE: usize = 6;
- /// Function ID to get the message protocol specific notification events on the mpxy channel.
- ///
- /// Declared in 20.12.
- #[doc(alias = "SBI_EXT_MPXY_GET_NOTIFICATION_EVENTS")]
- pub const GET_NOTIFICATION_EVENTS: usize = 7;
- }
|