__vdso_clock_gettime64   21 arch/arm64/kernel/vdso32/vgettimeofday.c int __vdso_clock_gettime64(clockid_t clock,
__vdso_clock_gettime64   42 arch/mips/vdso/vgettimeofday.c int __vdso_clock_gettime64(clockid_t clock,
__vdso_clock_gettime64   70 arch/x86/entry/vdso/vclock_gettime.c int __vdso_clock_gettime64(clockid_t clock, struct __kernel_timespec *ts)