__NR_timer_gettime64
__SYSCALL(__NR_timer_gettime64, sys_timer_gettime)
#if defined(__NR_timer_gettime64)
return __nolibc_syscall2(__NR_timer_gettime64, timerid, curr_value);
__SYSCALL(__NR_timer_gettime64, sys_timer_gettime)