VDSO_SYSCALL2
return VDSO_SYSCALL2(clock_gettime,64,_clkid,_ts);
return VDSO_SYSCALL2(gettimeofday,,_tv,_tz);
return VDSO_SYSCALL2(clock_getres,_time64,_clkid,_ts);
return VDSO_SYSCALL2(clock_gettime,,_clkid,_ts);
return VDSO_SYSCALL2(clock_getres,,_clkid,_ts);