__NR_timer_gettime  875 sandbox/linux/services/arm_linux_syscalls.h #define __NR_timer_gettime (__NR_SYSCALL_BASE+259)
__NR_timer_gettime 1046 sandbox/linux/services/x86_32_linux_syscalls.h #define __NR_timer_gettime 261
__NR_timer_gettime  910 sandbox/linux/services/x86_64_linux_syscalls.h #define __NR_timer_gettime 224