158a159,164
>
> /**
> * Print state of address in memory system via PrintReq (for
> * debugging).
> */
> void printAddr(Addr a);