44c44,45
< TypedBufferArg<Linux::utsname> name(process->getSyscallArg(tc, 0));
---
> int index = 0;
> TypedBufferArg<Linux::utsname> name(process->getSyscallArg(tc, index));
62,64c63,66
< Addr ruid = p->getSyscallArg(tc, 0);
< Addr euid = p->getSyscallArg(tc, 1);
< Addr suid = p->getSyscallArg(tc, 2);
---
> int index = 0;
> Addr ruid = p->getSyscallArg(tc, index);
> Addr euid = p->getSyscallArg(tc, index);
> Addr suid = p->getSyscallArg(tc, index);