__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);