67c67,71
< printIntReg(os, dest);
---
> if (isDataPrefetch()||isInstPrefetch()){
> printPFflags(os, dest);
> }else{
> printIntReg(os, dest);
> }