Trait rsim::processor::elements::cheri::CheriMemory [−][src]
pub trait CheriMemory<TAddr>: Memory<TAddr> + MemoryOf<SafeTaggedCap, TAddr> { fn load_maybe_cap(&mut self, addr: TAddr) -> MemoryResult<SafeTaggedCap> { ... } fn store_maybe_cap(
&mut self,
addr: TAddr,
val: SafeTaggedCap
) -> MemoryResult<()> { ... } fn store_cap(&mut self, addr: TAddr, val: Cc128Cap) -> MemoryResult<()> { ... } }
Provided methods
fn load_maybe_cap(&mut self, addr: TAddr) -> MemoryResult<SafeTaggedCap>[src]
fn store_maybe_cap(
&mut self,
addr: TAddr,
val: SafeTaggedCap
) -> MemoryResult<()>[src]
&mut self,
addr: TAddr,
val: SafeTaggedCap
) -> MemoryResult<()>
fn store_cap(&mut self, addr: TAddr, val: Cc128Cap) -> MemoryResult<()>[src]
Implementors
impl CheriMemory<CcxCap<Cc128>> for CheriAggregateMemory[src]
Combine MemoryOf<u8,u16,u32,u64> with MemoryOf
impl<'a> CheriMemory<u64> for IntegerModeCheriAggregateMemory<'a>[src]
Combine MemoryOf<u8,u16,u32,u64> with MemoryOf