Module vm_space 

Virtual memory space management.

The VmSpace struct is provided to manage the virtual memory space of a user. Cursors are used to traverse and modify over the virtual memory space concurrently. The VM space cursor self::Cursor is just a wrapper over the page table cursor, providing efficient, powerful concurrent accesses to the page table.

Structs

Cursor

The cursor for querying over the VM space without modifying it.

CursorMut

The cursor for modifying the mappings in VM space.

MappedItem

The item that can be mapped into the VmSpace.

UserPtConfig

The configuration for user page tables.

VmIoPermission

This struct is used for reading/writing memories represented by the VmReader or VmWriter. We also requrie a valid vmspace_owner must be present in this struct to ensure that the reader/writer is not created out of thin air.

VmSpace

A virtual address space for user-mode tasks, enabling safe manipulation of user-space memory.

VmSpaceOwner

A tracked struct for reasoning about verification-only properties of a VmSpace.