Struct sel4_sys::seL4_Fault
source · #[repr(transparent)]pub struct seL4_Fault(pub Bitfield<[u64; N], u64>);
Tuple Fields§
§0: Bitfield<[u64; N], u64>
Implementations§
source§impl seL4_Fault
impl seL4_Fault
pub fn splay(self) -> seL4_Fault_Splayed
pub fn get_tag(&self) -> u64
source§impl seL4_Fault
impl seL4_Fault
pub fn get_from_ipc_buffer( info: &seL4_MessageInfo, ipcbuf: &seL4_IPCBuffer ) -> Self
pub fn get_with( label: seL4_Word, length: seL4_Word, f: impl Fn(c_ulong) -> seL4_Word ) -> Self
Trait Implementations§
source§impl Clone for seL4_Fault
impl Clone for seL4_Fault
source§fn clone(&self) -> seL4_Fault
fn clone(&self) -> seL4_Fault
Returns a copy of the value. Read more
1.0.0§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read more