205a206,211
> /**
> * Print state of address in memory system via PrintReq (for
> * debugging).
> */
> void printAddr(Addr a);
>