SYSCALL_GET_ARGS_4  251 miscwrappers.cpp   SYSCALL_GET_ARGS_4(type1,arg1,type2,arg2,type3,arg3,type4,arg4);      \
SYSCALL_GET_ARGS_4  407 miscwrappers.cpp       SYSCALL_GET_ARGS_4(int,sockfd,struct sockaddr*,addr,socklen_t*,addrlen,int,flags);
SYSCALL_GET_ARGS_4  421 miscwrappers.cpp       SYSCALL_GET_ARGS_4(int,d,int,type,int,protocol,int*,sv);
SYSCALL_GET_ARGS_4  291 plugin/pid/pid_miscwrappers.cpp   SYSCALL_GET_ARGS_4(type1,arg1,type2,arg2,type3,arg3,type4,arg4);      \
SYSCALL_GET_ARGS_4  399 plugin/pid/pid_miscwrappers.cpp       SYSCALL_GET_ARGS_4(int,idtype,id_t,id,siginfo_t*,infop,int,options);
SYSCALL_GET_ARGS_4  406 plugin/pid/pid_miscwrappers.cpp       SYSCALL_GET_ARGS_4(pid_t,pid,__WAIT_STATUS,status,int,options,