150c150,151
< 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);