Struct KernelView 

pub struct KernelView<'a, const TS: usize, const BS: usize, const BC: usize>
where
    BitsImpl<BC>: Bits,
{ /* private fields */ }

Hardware/kernel-side view of the shadow table.

Provides read/write access without marking blocks dirty, plus methods to query and clear dirty state. Used by hardware drivers to sync shadow data to/from actual hardware registers.

Implementations

impl<'a, const TS: usize, const BS: usize, const BC: usize> KernelView<'a, TS, BS, BC>

where BitsImpl<BC>: Bits,

pub fn read_range(&self, addr: u16, out: &mut [u8]) -> Result<(), ShadowError>

Reads data from the shadow table without marking dirty.

pub fn write_range(&mut self, addr: u16, data: &[u8]) -> Result<(), ShadowError>

Writes data to the shadow table without marking dirty.

Use this to update the shadow after reading from hardware.

pub fn for_each_dirty_block<F>(&self, f: F) -> Result<(), ShadowError>

where F: FnMut(u16, &[u8]) -> Result<(), ShadowError>,

Iterates over each dirty block, providing its address and data.

pub fn is_dirty(&self, addr: u16, len: usize) -> Result<bool, ShadowError>

Returns true if any block overlapping the given range is dirty.

pub fn any_dirty(&self) -> bool

Returns true if any block in the table is dirty.

pub fn clear_dirty(&mut self)

Clears all dirty flags in the table.