327c327
< return csprintf("%-10s (inst %#08x)", "unknown", machInst & mask(32));
---
> return csprintf("%-10s (inst %#08x)", "unknown", encoding());