SYSCALL_GET_ARG   238 miscwrappers.cpp   SYSCALL_GET_ARG(type1,arg1);                                          \
SYSCALL_GET_ARG   239 miscwrappers.cpp   SYSCALL_GET_ARG(type2,arg2)
SYSCALL_GET_ARG   243 miscwrappers.cpp   SYSCALL_GET_ARG(type3,arg3)
SYSCALL_GET_ARG   247 miscwrappers.cpp   SYSCALL_GET_ARG(type4,arg4)
SYSCALL_GET_ARG   252 miscwrappers.cpp   SYSCALL_GET_ARG(type5,arg5)
SYSCALL_GET_ARG   258 miscwrappers.cpp   SYSCALL_GET_ARG(type6,arg6)
SYSCALL_GET_ARG   264 miscwrappers.cpp   SYSCALL_GET_ARG(type7,arg7)
SYSCALL_GET_ARG   312 miscwrappers.cpp       SYSCALL_GET_ARG(int,status);
SYSCALL_GET_ARG   324 miscwrappers.cpp       SYSCALL_GET_ARG(int,fd);
SYSCALL_GET_ARG   429 miscwrappers.cpp       SYSCALL_GET_ARG(int*,fds);
SYSCALL_GET_ARG   465 miscwrappers.cpp       SYSCALL_GET_ARG(const void*,shmaddr);
SYSCALL_GET_ARG   485 miscwrappers.cpp       SYSCALL_GET_ARG(int,size);
SYSCALL_GET_ARG   531 miscwrappers.cpp       SYSCALL_GET_ARG(int,flags);
SYSCALL_GET_ARG   537 miscwrappers.cpp       SYSCALL_GET_ARG(int,flags);
SYSCALL_GET_ARG   278 plugin/pid/pid_miscwrappers.cpp   SYSCALL_GET_ARG(type1,arg1);                                          \
SYSCALL_GET_ARG   279 plugin/pid/pid_miscwrappers.cpp   SYSCALL_GET_ARG(type2,arg2)
SYSCALL_GET_ARG   283 plugin/pid/pid_miscwrappers.cpp   SYSCALL_GET_ARG(type3,arg3)
SYSCALL_GET_ARG   287 plugin/pid/pid_miscwrappers.cpp   SYSCALL_GET_ARG(type4,arg4)
SYSCALL_GET_ARG   292 plugin/pid/pid_miscwrappers.cpp   SYSCALL_GET_ARG(type5,arg5)
SYSCALL_GET_ARG   298 plugin/pid/pid_miscwrappers.cpp   SYSCALL_GET_ARG(type6,arg6)
SYSCALL_GET_ARG   304 plugin/pid/pid_miscwrappers.cpp   SYSCALL_GET_ARG(type7,arg7)
SYSCALL_GET_ARG   365 plugin/pid/pid_miscwrappers.cpp       SYSCALL_GET_ARG(pid_t,pid);
SYSCALL_GET_ARG   378 plugin/pid/pid_miscwrappers.cpp       SYSCALL_GET_ARG(pid_t,pid);
SYSCALL_GET_ARG   422 plugin/pid/pid_miscwrappers.cpp       SYSCALL_GET_ARG(gid_t,gid);
SYSCALL_GET_ARG   428 plugin/pid/pid_miscwrappers.cpp       SYSCALL_GET_ARG(uid_t,uid);
SYSCALL_GET_ARG   450 plugin/pid/pid_miscwrappers.cpp       SYSCALL_GET_ARG(const void*,shmaddr);