Module rsim::memory[][src]

Publically exposed memory-related structures. Includes capability and integer-addressed memory.

Re-exports

pub use crate::processor::elements::memory::AggregateMemory;
pub use crate::processor::elements::memory::MemoryBacking;
pub use crate::processor::elements::memory::IOMemory;

Structs

CheriAggregateMemory

Wrapper for AggregateMemory64 that keeps tags, supports MemoryOf for reading/writing capabilities. All other Memory variants clear associated tag bits on write.