33c33
< //We need the "Tick" data type from here
---
> //We need the "Tick" and "Addr" data types from here
35,36d34
< //We need the "Addr" data type from here
< #include "arch/isa_traits.hh"