t_sys1            270 tools/testing/selftests/x86/test_vsyscall.c 	long t_sys1, t_sys2, t_vdso = 0, t_vsys = 0;
t_sys1            272 tools/testing/selftests/x86/test_vsyscall.c 	t_sys1 = sys_time(&t2_sys1);
t_sys1            278 tools/testing/selftests/x86/test_vsyscall.c 	if (t_sys1 < 0 || t_sys1 != t2_sys1 || t_sys2 < 0 || t_sys2 != t2_sys2) {
t_sys1            279 tools/testing/selftests/x86/test_vsyscall.c 		printf("[FAIL]\tsyscall failed (ret1:%ld output1:%ld ret2:%ld output2:%ld)\n", t_sys1, t2_sys1, t_sys2, t2_sys2);
t_sys1            288 tools/testing/selftests/x86/test_vsyscall.c 		} else if (t_vdso < t_sys1 || t_vdso > t_sys2) {
t_sys1            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);
t_sys1            300 tools/testing/selftests/x86/test_vsyscall.c 		} else if (t_vsys < t_sys1 || t_vsys > t_sys2) {
t_sys1            301 tools/testing/selftests/x86/test_vsyscall.c 			printf("[FAIL]\tvsyscall returned the wrong time (%ld %ld %ld)\n", t_sys1, t_vsys, t_sys2);