__cvdso_clock_gettime32   18 arch/arm64/kernel/vdso32/vgettimeofday.c 	return __cvdso_clock_gettime32(clock, ts);
__cvdso_clock_gettime32   17 arch/mips/vdso/vgettimeofday.c 	return __cvdso_clock_gettime32(clock, ts);
__cvdso_clock_gettime32   64 arch/x86/entry/vdso/vclock_gettime.c 	return __cvdso_clock_gettime32(clock, ts);