Struct MapperFlush

pub struct MapperFlush<S: PageSize>(/* private fields */);

This type represents a page whose mapping has changed in the page table.

The old mapping might be still cached in the translation lookaside buffer (TLB), so it needs to be flushed from the TLB before it’s accessed. This type is returned from a function that changed the mapping of a page to ensure that the TLB flush is not forgotten.

Implementations

impl<S: PageSize> MapperFlush<S>

pub fn new(page: Page<S>) -> Self

Create a new flush promise

Note that this method is intended for implementing the Mapper trait and no other uses are expected.

pub fn flush(self)

Flush the page from the TLB to ensure that the newest mapping is used.

pub fn ignore(self)

Don’t flush the TLB and silence the “must be used” warning.

Trait Implementations

impl<S: Debug + PageSize> Debug for MapperFlush<S>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.