Struct AddressSpaceCpuState 

pub struct AddressSpaceCpuState { /* private fields */ }

Shared CPU-footprint state for one hardware page-table root.

Every scheduler token for threads sharing one OS address space must carry the same tracker. The runtime publishes a CPU bit before installing the root and clears it only after replacing the hardware root, so page-table mutation can target every CPU that may retain a translation.

Implementations

impl AddressSpaceCpuState

pub fn new(root: PhysAddr) -> AddressSpaceCpuState

Creates inactive runtime state permanently bound to one mm root.

pub fn with_mm_active_mask( root: PhysAddr, active_mask: Arc<Atomic<usize>>, ) -> AddressSpaceCpuState

Shares the MM’s authoritative footprint; only its activation leases may publish or clear bits. Runtime tokens retain separate reclamation counts.

pub fn active_mask(&self) -> usize

Returns the CPUs that may currently retain translations for this root.