Module region 

Region management for guest physical address space (ADR-136, ADR-138).

A RegionManager maintains a fixed-capacity table of OwnedRegion entries, each mapping a contiguous range of guest physical addresses to host physical addresses with associated metadata (tier, permissions, ownership).

Design Principles

• Move semantics: Region transfer conceptually moves ownership from one partition to another. The old entry is invalidated and a new entry is created.
• Bounds checking: All operations validate that addresses and page counts do not exceed the region’s bounds.
• Overlap detection: Creating a region that overlaps an existing one in the same partition is rejected.

Structs

AddressMapping

Guest-to-host address mapping entry.

OwnedRegion

An owned memory region entry in the region table.

RegionConfig

Configuration for creating a new region.

RegionManager

Manages a fixed-capacity table of owned memory regions.