Struct sel4_common::structures::seL4_IPCBuffer

#[repr(C)]
pub struct seL4_IPCBuffer {
    pub tag: usize,
    pub msg: [usize; 120],
    pub userData: usize,
    pub caps_or_badges: [usize; 3],
    pub receiveCNode: usize,
    pub receiveIndex: usize,
    pub receiveDepth: usize,
}

Fields

tag: usize

msg: [usize; 120]

userData: usize

caps_or_badges: [usize; 3]

receiveCNode: usize

receiveIndex: usize

receiveDepth: usize

Implementations

impl seL4_IPCBuffer

pub fn get_extra_cptr(&self, i: usize) -> usize

Trait Implementations

impl Clone for seL4_IPCBuffer

fn clone(&self) -> seL4_IPCBuffer

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for seL4_IPCBuffer