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