#ifdef BITS_64
#define SYS_CLOCK_GETTIME 113
#endif

#ifdef BITS_32
#define SYS_CLOCK_GETTIME 263
#endif

#include "linux_clock.cpp"

#define SYS_CLOCK_GETTIME 263
#include "linux_clock.cpp"

--- 
+++ 
@@ -1,2 +1,9 @@
+#ifdef BITS_64
+#define SYS_CLOCK_GETTIME 113
+#endif
+
+#ifdef BITS_32
 #define SYS_CLOCK_GETTIME 263
+#endif
+
 #include "linux_clock.cpp"
Fix a syscall number for 64-bit arm


Former-commit-id: 3009473fe53734890768250e4b4ae81a42df9c85