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