Point the x86-64 overrides to newly extracted 3.10-rc7 files

Signed-off-by: Yannick Brosseau <yannick.brosseau@gmail.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>

diff --git a/instrumentation/syscalls/headers/syscalls_integers.h b/instrumentation/syscalls/headers/syscalls_integers.h
index 6a429094046bdcbce04316d8723817699dc2e25b..ce0409fcb763224a2e593123314aaefa9acbe77d 100644 (file)
--- a/instrumentation/syscalls/headers/syscalls_integers.h
+++ b/instrumentation/syscalls/headers/syscalls_integers.h
@@ -1,5 +1,5 @@
 #ifdef CONFIG_X86_64
-#include "x86-64-syscalls-3.0.4_integers.h"
+#include "x86-64-syscalls-3.10.0-rc7_integers.h"
 #endif
 
 #ifdef CONFIG_X86_32

diff --git a/instrumentation/syscalls/headers/syscalls_pointers.h b/instrumentation/syscalls/headers/syscalls_pointers.h
index d78b0368a9f9b7b7ec47eff7cbcb4f305782ce37..f5ca566877285ab861c9cd2328a02b4bfc67fb7a 100644 (file)
--- a/instrumentation/syscalls/headers/syscalls_pointers.h
+++ b/instrumentation/syscalls/headers/syscalls_pointers.h
@@ -1,5 +1,5 @@
 #ifdef CONFIG_X86_64
-#include "x86-64-syscalls-3.0.4_pointers.h"
+#include "x86-64-syscalls-3.10.0-rc7_pointers.h"
 #endif
 
 #ifdef CONFIG_X86_32

diff --git a/instrumentation/syscalls/headers/x86-64-syscalls-3.0.4_integers_override.h b/instrumentation/syscalls/headers/x86-64-syscalls-3.0.4_integers_override.h
deleted file mode 100644 (file)
index 5f971e7..0000000
--- a/instrumentation/syscalls/headers/x86-64-syscalls-3.0.4_integers_override.h
+++ /dev/null
@@ -1,3 +0,0 @@
-/*
- * this is a place-holder for x86_64 integer syscall definition override.
- */

diff --git a/instrumentation/syscalls/headers/x86-64-syscalls-3.0.4_pointers_override.h b/instrumentation/syscalls/headers/x86-64-syscalls-3.0.4_pointers_override.h
deleted file mode 100644 (file)
index 8aa2abc..0000000
--- a/instrumentation/syscalls/headers/x86-64-syscalls-3.0.4_pointers_override.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef CREATE_SYSCALL_TABLE
-
-#else  /* CREATE_SYSCALL_TABLE */
-
-#define OVERRIDE_TABLE_64_sys_clone
-TRACE_SYSCALL_TABLE(sys_clone, sys_clone, 56, 5)
-#define OVERRIDE_TABLE_64_sys_execve
-TRACE_SYSCALL_TABLE(sys_execve, sys_execve, 59, 3)
-#define OVERRIDE_TABLE_64_sys_getcpu
-TRACE_SYSCALL_TABLE(sys_getcpu, sys_getcpu, 309, 3)
-
-#endif /* CREATE_SYSCALL_TABLE */

diff --git a/instrumentation/syscalls/headers/x86-64-syscalls-3.10.0-rc7_integers_override.h b/instrumentation/syscalls/headers/x86-64-syscalls-3.10.0-rc7_integers_override.h
new file mode 100644 (file)
index 0000000..5f971e7
--- /dev/null
+++ b/instrumentation/syscalls/headers/x86-64-syscalls-3.10.0-rc7_integers_override.h
@@ -0,0 +1,3 @@
+/*
+ * this is a place-holder for x86_64 integer syscall definition override.
+ */

diff --git a/instrumentation/syscalls/headers/x86-64-syscalls-3.10.0-rc7_pointers_override.h b/instrumentation/syscalls/headers/x86-64-syscalls-3.10.0-rc7_pointers_override.h
new file mode 100644 (file)
index 0000000..8aa2abc
--- /dev/null
+++ b/instrumentation/syscalls/headers/x86-64-syscalls-3.10.0-rc7_pointers_override.h
@@ -0,0 +1,12 @@
+#ifndef CREATE_SYSCALL_TABLE
+
+#else  /* CREATE_SYSCALL_TABLE */
+
+#define OVERRIDE_TABLE_64_sys_clone
+TRACE_SYSCALL_TABLE(sys_clone, sys_clone, 56, 5)
+#define OVERRIDE_TABLE_64_sys_execve
+TRACE_SYSCALL_TABLE(sys_execve, sys_execve, 59, 3)
+#define OVERRIDE_TABLE_64_sys_getcpu
+TRACE_SYSCALL_TABLE(sys_getcpu, sys_getcpu, 309, 3)
+
+#endif /* CREATE_SYSCALL_TABLE */