Searched refs:vdso_clock_name (Results 1 – 2 of 2) sorted by relevance
39 const char *vdso_clock_name[12] = { variable72 printf("clock_id: %s", vdso_clock_name[clock_id]); in vdso_test_clock()
142 const char *vdso_clock_name[12] = { variable177 printf("clock_id: %s", vdso_clock_name[clock_id]); in vdso_test_clock()
