Struct DeferredPageTableFrames 

pub struct DeferredPageTableFrames<A: FrameAllocator> { /* private fields */ }

Intermediate page-table frames detached by one leaf removal.

The frames remain allocated until the stage-1 owner confirms that every CPU which could walk the old hierarchy has completed a TLB invalidation. Dropping this token without confirmation intentionally leaks the frames; reclaiming them early would turn a recoverable shootdown failure into a use-after-free in a remote hardware page-table walk.

Implementations

impl<A: FrameAllocator> DeferredPageTableFrames<A>

pub fn is_empty(&self) -> bool

Returns whether this removal detached no intermediate table frames.

pub fn len(&self) -> usize

Returns the number of detached intermediate table frames.

pub unsafe fn reclaim(self)

Reclaims the detached frames after all relevant CPUs confirm TLB invalidation.

Safety

The caller must prove that no CPU can retain a translation or hardware page-walk reference through the detached page-table hierarchy.

Trait Implementations

impl<A: FrameAllocator> Debug for DeferredPageTableFrames<A>

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

Formats the value using the given formatter.

impl<A: FrameAllocator> Drop for DeferredPageTableFrames<A>

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.