Searched refs:t2_vdso (Results 1 – 1 of 1) sorted by relevance
273 long t2_sys1 = -1, t2_sys2 = -1, t2_vdso = -1, t2_vsys = -1; 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()