Type Alias sel4_sys::seL4_IPCBuffer
source · pub type seL4_IPCBuffer = seL4_IPCBuffer_;
Aliased Type§
struct seL4_IPCBuffer {
pub tag: seL4_MessageInfo,
pub msg: [u64; 120],
pub userData: u64,
pub caps_or_badges: [u64; 3],
pub receiveCNode: u64,
pub receiveIndex: u64,
pub receiveDepth: u64,
}
Fields§
§tag: seL4_MessageInfo
§msg: [u64; 120]
§userData: u64
§caps_or_badges: [u64; 3]
§receiveCNode: u64
§receiveIndex: u64
§receiveDepth: u64