Searched refs:t2_vdso (Results 1 – 1 of 1) sorted by relevance
271 long t2_sys1 = -1, t2_sys2 = -1, t2_vdso = -1, t2_vsys = -1; in test_time() local274 t_vdso = vdso_time(&t2_vdso); in test_time()285 if (t_vdso < 0 || t_vdso != t2_vdso) { in test_time()286 printf("[FAIL]\tvDSO failed (ret:%ld output:%ld)\n", t_vdso, t2_vdso); in test_time()