244a245
>
246a248,249
>
> auto imm16 = bits(machInst, 20, 5);
248a252
>
251c255
< return new Svc64(machInst);
---
> return new Svc64(machInst, imm16);
253c257
< return new Hvc64(machInst);
---
> return new Hvc64(machInst, imm16);
255c259
< return new Smc64(machInst);
---
> return new Smc64(machInst, imm16);
257c261
< return new Brk64(machInst);
---
> return new Brk64(machInst, imm16);
259c263
< return new Hlt64(machInst);
---
> return new Hlt64(machInst, imm16);