Handle sys_pipe2 on arm-linux; also add some missing numbers to

vki-scnums-arm-linux.h.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10994

diff --git a/coregrind/m_syswrap/syswrap-arm-linux.c b/coregrind/m_syswrap/syswrap-arm-linux.c
index b672b3d2090e8ef2c34aca559d86e907f3830e49..86d9f21b61ba511b8b2d24d17c6ae61232471bd7 100644 (file)
--- a/coregrind/m_syswrap/syswrap-arm-linux.c
+++ b/coregrind/m_syswrap/syswrap-arm-linux.c
@@ -1663,7 +1663,17 @@ static SyscallTableEntry syscall_main_table[] = {
    LINX_(__NR_eventfd,           sys_eventfd),          // 323
 //   LINX_(__NR_fallocate,        sys_ni_syscall),        // 324
    LINXY(__NR_timerfd_settime,   sys_timerfd_settime),  // 325
-   LINXY(__NR_timerfd_gettime,   sys_timerfd_gettime)   // 326
+   LINXY(__NR_timerfd_gettime,   sys_timerfd_gettime),   // 326
+
+   ///////////////
+
+   // JRS 2010-Jan-03: I believe that all the numbers listed 
+   // in comments in the table prior to this point (eg "// 326",
+   // etc) are bogus since it looks to me like they are copied
+   // verbatim from syswrap-x86-linux.c and they certainly do not
+   // correspond to what's in include/vki/vki-scnums-arm-linux.h.
+   // From here onwards, please ensure the numbers are correct.
+   LINXY(__NR_pipe2,             sys_pipe2)             // 359
 };
 
 

diff --git a/include/vki/vki-scnums-arm-linux.h b/include/vki/vki-scnums-arm-linux.h
index 5d4fb4c8ba9edf04de83b1d7652324139db1b9ff..f062eecc8382c759771a98f94923fa9b360d688a 100644 (file)
--- a/include/vki/vki-scnums-arm-linux.h
+++ b/include/vki/vki-scnums-arm-linux.h
@@ -391,6 +391,13 @@
 #define __NR_fallocate                 352
 #define __NR_timerfd_settime           353
 #define __NR_timerfd_gettime           354
+#define __NR_signalfd4                  355
+#define __NR_eventfd2                   356
+#define __NR_epoll_create1              357
+#define __NR_dup3                       358
+#define __NR_pipe2                      359
+#define __NR_inotify_init1              360
+
 
 
 #define __NR_ARM_BASE                   (0x0f0000)