#define SYS_CLOCK_GETTIME 263
#include "linux_clock.cpp"

#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
Fix a syscall number for 64-bit arm


Former-commit-id: 3009473fe53734890768250e4b4ae81a42df9c85