41c41
< #include "arch/faults.hh"
---
> #include "sim/faults.hh"
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);