| 111 | |
| 112 | @dataclasses.dataclass(frozen=True) |
| 113 | class VirtMapping: va_addr:int; size:int; paddrs:list[tuple[int, int]]; aspace:AddrSpace; uncached:bool=False; snooped:bool=False # noqa: E702 |
| 114 | |
| 115 | class PageTableTraverseContext: |
| 116 | def __init__(self, dev, pt, vaddr, create_pts=False, free_pts=False, inspect=False, boot=False): |