83a84,85
>
> void setSyscallReturn(ThreadContext *tc, SyscallReturn return_value);
94a97,99
>
> X86ISA::IntReg getSyscallArg(ThreadContext *tc, int i);
> void setSyscallArg(ThreadContext *tc, int i, X86ISA::IntReg val);
105a111,113
>
> X86ISA::IntReg getSyscallArg(ThreadContext *tc, int i);
> void setSyscallArg(ThreadContext *tc, int i, X86ISA::IntReg val);