__vdso_time 28 arch/x86/entry/vdso/vclock_gettime.c time_t __vdso_time(time_t *t) __vdso_time 40 arch/x86/um/vdso/um_vdso.c time_t __vdso_time(time_t *t)