INLINE_SYSCALL     20 mtcp/NOTES-x86_64/example.c                                         INLINE_SYSCALL(name, num_args, args)
INLINE_SYSCALL     79 mtcp/NOTES-x86_64/example.c   void * ptr = (void *)INLINE_SYSCALL(mmap, 6,
INLINE_SYSCALL     90 mtcp/NOTES-x86_64/example.c   pid_t x = INLINE_SYSCALL (getpid, 0);
INLINE_SYSCALL     92 mtcp/NOTES-x86_64/example.c   void * ptr = (void *)INLINE_SYSCALL(mmap, 6,
INLINE_SYSCALL     22 mtcp/NOTES-x86_64/example2.c   void * ptr = (void *)INLINE_SYSCALL(mmap, 6,
INLINE_SYSCALL     33 mtcp/NOTES-x86_64/example2.c   pid_t x = INLINE_SYSCALL (getpid, 0);
INLINE_SYSCALL     35 mtcp/NOTES-x86_64/example2.c   void * ptr = (void *)INLINE_SYSCALL(mmap, 6,
INLINE_SYSCALL     88 mtcp/mtcp_sys.h                                         INLINE_SYSCALL(name, num_args , ##args)