__NR_timer_gettime
__SC_3264(__NR_timer_gettime, sys_timer_gettime32, sys_timer_gettime)
return __nolibc_syscall2(__NR_timer_gettime, timerid, curr_value);
__SC_3264(__NR_timer_gettime, sys_timer_gettime32, sys_timer_gettime)