⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

Module vas

Module vas 

Source
Expand description

Virtual Address Space management

Manages virtual memory for processes including page tables, memory mappings, and address space operations.

Structs§

TlbFlushBatch
Batched TLB flush accumulator.
VasStats
Virtual address space statistics
VirtualAddressSpace
Virtual Address Space for a process
VirtualMapping
Virtual memory mapping

Enums§

MappingType
Memory mapping types

Functions§

create_mapper_from_root_pub
Public wrapper around create_mapper_from_root for use by other kernel modules (e.g., process creation for writing to user stack).
free_user_page_table_frames
Free all user-space page table frames in a page table hierarchy.
map_physical_region_user
Map a physical memory region into the current process’s user-space address space.