87a88,101
> /* generic page table mapping flags
> * unset | set
> * bit 0 - no-clobber | clobber
> * bit 1 - present | not-present
> * bit 2 - cacheable | uncacheable
> * bit 3 - read-write | read-only
> */
> enum MappingFlags : uint32_t {
> Clobber = 1,
> NotPresent = 2,
> Uncacheable = 4,
> ReadOnly = 8,
> };
>
95a110,117
> /**
> * Maps a virtual memory region to a physical memory region.
> * @param vaddr The starting virtual address of the region.
> * @param paddr The starting physical address where the region is mapped.
> * @param size The length of the region.
> * @param flags Generic mapping flags that can be set by or-ing values
> * from MappingFlags enum.
> */
97c119
< bool clobber = false) = 0;
---
> uint64_t flags = 0) = 0;
200c222,223
< void map(Addr vaddr, Addr paddr, int64_t size, bool clobber = false);
---
> void map(Addr vaddr, Addr paddr, int64_t size,
> uint64_t flags = 0);