268,270c268
< return csprintf("%-10s (inst 0x%x, opcode 0x%x, binary:%s)",
< "unknown", machInst, machInst.opcode,
< inst2string(machInst));
---
> return csprintf("%-10s (inst %#08x)", "unknown", machInst);