402,403c402,404
< -0x80: SyscallInst::int80('xc->syscall(Rax)',
< IsSyscall, IsNonSpeculative, IsSerializeAfter);
---
> 0xffffffffffffff80:
> SyscallInst::int80('xc->syscall(Rax)',
> IsSyscall, IsNonSpeculative, IsSerializeAfter);