80c80
< Fault page_check(Addr addr, int size) const;
---
> Fault page_check(Addr addr, int64_t size) const;
82c82
< void allocate(Addr vaddr, int size);
---
> void allocate(Addr vaddr, int64_t size);