__vdso_clock_gettime   38 arch/x86/entry/vdso/vclock_gettime.c extern int __vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts);
__vdso_clock_gettime   59 arch/x86/entry/vdso/vclock_gettime.c extern int __vdso_clock_gettime(clockid_t clock, struct old_timespec32 *ts);