268,270c268,276
< //sandpile.org says (AMD) after sysret, so I might want to check
< //if that means amd64 or AMD machines
< 0x07: loadall_or_sysret();
---
> 0x07: decode MODE_SUBMODE {
> 0x0: decode OPSIZE {
> // Return to 64 bit mode.
> 0x8: Inst::SYSRET_TO_64();
> // Return to compatibility mode.
> default: Inst::SYSRET_TO_COMPAT();
> }
> default: Inst::SYSRET_NON_64();
> }