205a206,207
> void allocateMem(Addr vaddr, int64_t size, bool clobber = false);
>