54c54,55
< TypedBufferArg<Linux::utsname> name(process->getSyscallArg(tc, 0));
---
> int index = 0;
> TypedBufferArg<Linux::utsname> name(process->getSyscallArg(tc, index));
73,74c74,77
< unsigned op = process->getSyscallArg(tc, 0);
< // unsigned nbytes = process->getSyscallArg(tc, 2);
---
> int index = 0;
> unsigned op = process->getSyscallArg(tc, index);
> unsigned bufPtr = process->getSyscallArg(tc, index);
> // unsigned nbytes = process->getSyscallArg(tc, index);
80c83
< TypedBufferArg<uint64_t> fpcr(process->getSyscallArg(tc, 1));
---
> TypedBufferArg<uint64_t> fpcr(bufPtr);
100,101c103,106
< unsigned op = process->getSyscallArg(tc, 0);
< // unsigned nbytes = process->getSyscallArg(tc, 2);
---
> int index = 0;
> unsigned op = process->getSyscallArg(tc, index);
> Addr bufPtr = process->getSyscallArg(tc, index);
> // unsigned nbytes = process->getSyscallArg(tc, index);
108c113
< TypedBufferArg<uint64_t> fpcr(process->getSyscallArg(tc, 1));
---
> TypedBufferArg<uint64_t> fpcr(bufPtr);