Only enable detailed syscalls for x86_64 for now

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 729731040f84f1637fced28a2343d7956845e94f..fc173642b5a0b135b7ddf2b999b7dfdbe9e0a783 100644 (file)
--- a/instrumentation/syscalls/headers/syscalls_integers.h
+++ b/instrumentation/syscalls/headers/syscalls_integers.h
@@ -1 +1,3 @@
+#ifndef CONFIG_X64_64
 #include "x86-64-syscalls-3.0.4_integers.h"
+#endif

diff --git a/instrumentation/syscalls/headers/syscalls_pointers.h b/instrumentation/syscalls/headers/syscalls_pointers.h
index 0ffeea57fcbe8e69a39128f7ce764efaa3638f5d..4b79d0592927bc7728432f53b516ef1d6726c7e3 100644 (file)
--- a/instrumentation/syscalls/headers/syscalls_pointers.h
+++ b/instrumentation/syscalls/headers/syscalls_pointers.h
@@ -1 +1,3 @@
+#ifndef CONFIG_X64_64
 #include "x86-64-syscalls-3.0.4_pointers.h"
+#endif