t_vdso            270 tools/testing/selftests/x86/test_vsyscall.c 	long t_sys1, t_sys2, t_vdso = 0, t_vsys = 0;
t_vdso            274 tools/testing/selftests/x86/test_vsyscall.c 		t_vdso = vdso_time(&t2_vdso);
t_vdso            285 tools/testing/selftests/x86/test_vsyscall.c 		if (t_vdso < 0 || t_vdso != t2_vdso) {
t_vdso            286 tools/testing/selftests/x86/test_vsyscall.c 			printf("[FAIL]\tvDSO failed (ret:%ld output:%ld)\n", t_vdso, t2_vdso);
t_vdso            288 tools/testing/selftests/x86/test_vsyscall.c 		} else if (t_vdso < t_sys1 || t_vdso > t_sys2) {
t_vdso            289 tools/testing/selftests/x86/test_vsyscall.c 			printf("[FAIL]\tvDSO returned the wrong time (%ld %ld %ld)\n", t_sys1, t_vdso, t_sys2);