__cvdso_clock_getres_time32   44 arch/arm64/kernel/vdso32/vgettimeofday.c 	return __cvdso_clock_getres_time32(clock_id, res);
__cvdso_clock_getres_time32   39 arch/mips/vdso/vgettimeofday.c 	return __cvdso_clock_getres_time32(clock_id, res);
__cvdso_clock_getres_time32   80 arch/x86/entry/vdso/vclock_gettime.c 	return __cvdso_clock_getres_time32(clock, res);