82c82
< void allocate(Addr vaddr, int64_t size);
---
> void allocate(Addr vaddr, int64_t size, bool clobber = false);
86a87,94
> * Check if any pages in a region are already allocated
> * @param vaddr The starting virtual address of the region.
> * @param size The length of the region.
> * @return True if no pages in the region are mapped.
> */
> bool isUnmapped(Addr vaddr, int64_t size);
>
> /**