pub struct StartFfiInfo {
pub page_ptrs: Vec<usize>,
pub stack_ptr: usize,
}
Expand description
Information needed to begin tracing.
Fields§
§page_ptrs: Vec<usize>
A vector of page addresses that store the miri heap which is accessible from C.
stack_ptr: usize
The address of an allocation that can serve as a temporary stack.
This should be a leaked Box<[u8; CALLBACK_STACK_SIZE]>
cast to an int.
Trait Implementations§
Source§impl Clone for StartFfiInfo
impl Clone for StartFfiInfo
Source§fn clone(&self) -> StartFfiInfo
fn clone(&self) -> StartFfiInfo
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for StartFfiInfo
impl Debug for StartFfiInfo
Source§impl<'de> Deserialize<'de> for StartFfiInfo
impl<'de> Deserialize<'de> for StartFfiInfo
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for StartFfiInfo
impl RefUnwindSafe for StartFfiInfo
impl Send for StartFfiInfo
impl Sync for StartFfiInfo
impl Unpin for StartFfiInfo
impl UnwindSafe for StartFfiInfo
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 32 bytes