1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
//! 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;
}