Skip to main content

vm_space_root_idx

Function vm_space_root_idx 

Source
pub open spec fn vm_space_root_idx(owner: VmSpaceOwner) -> usize
Expand description
{ frame_to_index(owner.page_table_owner.value.meta_slot_paddr()->0) }

The metadata-slot index of a VmSpace’s page-table root node. This is the slot whose perm VmSpace::new (empty_with_owner) permanently extracts from regions.slots (the root is owned by the page table, not parked in the free pool).