53c53,54
< TypedBufferArg<Linux::utsname> name(process->getSyscallArg(tc, 0));
---
> int index = 0;
> TypedBufferArg<Linux::utsname> name(process->getSyscallArg(tc, index));
420c421,422
< uint32_t tlsPtr = process->getSyscallArg(tc, 0);
---
> int index = 0;
> uint32_t tlsPtr = process->getSyscallArg(tc, index);
514c516
< ArmLinuxProcess::getSyscallArg(ThreadContext *tc, int i)
---
> ArmLinuxProcess::getSyscallArg(ThreadContext *tc, int &i)
519c521
< return tc->readIntReg(ArgumentReg0 + i);
---
> return tc->readIntReg(ArgumentReg0 + i++);