245a246,250
> /** Inject a PrintReq for the given address to print the state of
> * that address throughout the memory system. For debugging.
> */
> void printAddr(Addr a);
>