__vdso_clock_getres   39 arch/x86/entry/vdso/vclock_gettime.c extern int __vdso_clock_getres(clockid_t clock, struct __kernel_timespec *res);
__vdso_clock_getres   60 arch/x86/entry/vdso/vclock_gettime.c extern int __vdso_clock_getres(clockid_t clock, struct old_timespec32 *res);