262c262
< printIntReg(ss, dest);
---
> printMiscReg(ss, dest);
265d264
< ccprintf(ss, ", #%d", imm);
276,277c275
< printIntReg(ss, op1);
< ccprintf(ss, ", #%d", imm);
---
> printMiscReg(ss, op1);