#[repr(C)]pub struct StateArena {
pub inline: *mut u128,
pub wide_aval: *mut u64,
pub wide_bval: *mut u64,
}Expand description
#[repr(C)] FFI view of the arena’s storage planes (ST-145) — the shape a
compiled kernel’s accessor-ABI functions index through. wide_aval/
wide_bval are null in a 2-state-compiled binary.
Fields§
§inline: *mut u128§wide_aval: *mut u64§wide_bval: *mut u64Auto Trait Implementations§
impl !Send for StateArena
impl !Sync for StateArena
impl Freeze for StateArena
impl RefUnwindSafe for StateArena
impl Unpin for StateArena
impl UnsafeUnpin for StateArena
impl UnwindSafe for StateArena
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