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