Struct ShadowStorageBase 

pub struct ShadowStorageBase<const TS: usize, const BS: usize, const BC: usize, AP, PP, PT, PK, SS>
where
    AP: AccessPolicy,
    PP: PersistPolicy<PK>,
    PT: PersistTrigger<PK>,
    BitsImpl<BC>: Bits,
{ /* private fields */ }

Core shadow table storage with configurable policies.

Const Generics

• TS: Total size of the shadow table in bytes
• BS: Block size in bytes for dirty tracking granularity
• BC: Block count (must equal TS / BS)

Type Parameters

• AP: Access policy controlling read/write permissions
• PP: Persist policy determining what needs persistence
• PT: Persist trigger receiving persistence requests
• PK: Persist key type used to identify regions
• SS: Stage state (NoStage or WithStage<SB>)

Implementations

impl<const TS: usize, const BS: usize, const BC: usize, AP, PP, PT, PK> ShadowStorageBase<TS, BS, BC, AP, PP, PT, PK, NoStage>

where AP: AccessPolicy, PP: PersistPolicy<PK>, PT: PersistTrigger<PK>, BitsImpl<BC>: Bits,

pub fn new(policy: AP, persist: PP, trigger: PT) -> Self

pub fn with_staging<SB: StagingBuffer>( self, sb: SB, ) -> ShadowStorageBase<TS, BS, BC, AP, PP, PT, PK, WithStage<SB>>

Upgrade this storage to staged mode by supplying a staging implementation.

impl<const TS: usize, const BS: usize, const BC: usize, AP, PP, PT, PK, SS> ShadowStorageBase<TS, BS, BC, AP, PP, PT, PK, SS>

where AP: AccessPolicy, PP: PersistPolicy<PK>, PT: PersistTrigger<PK>, BitsImpl<BC>: Bits,

pub fn host_shadow(&self) -> HostShadow<'_, TS, BS, BC, AP, PP, PT, PK, SS>

pub fn kernel_shadow(&self) -> KernelShadow<'_, TS, BS, BC, AP, PP, PT, PK, SS>

pub unsafe fn load_defaults_unchecked( &self, f: impl FnOnce(&mut WriteFn) -> Result<(), ShadowError>, ) -> Result<(), ShadowError>

Load initial values into the shadow table without marking dirty.

Use this during system initialization to populate the shadow with factory defaults or restored EEPROM data.

Safety

Caller must ensure exclusive access to the storage. Typically safe during boot before interrupts are enabled.

pub fn load_defaults( &self, f: impl FnOnce(&mut WriteFn) -> Result<(), ShadowError>, ) -> Result<(), ShadowError>

Load initial values into the shadow table without marking dirty.

Wraps Self::load_defaults_unchecked in a critical section.

Use this during system initialization to populate the shadow with factory defaults or restored EEPROM data.