__arg3            283 mtcp/sysdep/sysdep-x86_64.h   long int __arg3 = (long) (a3);			\
__arg3            286 mtcp/sysdep/sysdep-x86_64.h   register long int _a3 asm ("rdx") = __arg3;		\