Searched refs:t_vdso (Results 1 – 1 of 1) sorted by relevance
272 long t_sys1, t_sys2, t_vdso = 0, t_vsys = 0; in test_time() local276 t_vdso = vdso_time(&t2_vdso); in test_time()287 if (t_vdso < 0 || t_vdso != t2_vdso) { in test_time()288 printf("[FAIL]\tvDSO failed (ret:%ld output:%ld)\n", t_vdso, t2_vdso); in test_time()290 } else if (t_vdso < t_sys1 || t_vdso > t_sys2) { in test_time()291 printf("[FAIL]\tvDSO returned the wrong time (%ld %ld %ld)\n", t_sys1, t_vdso, t_sys2); in test_time()