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()
146 const char *vdso_clock_name[12] = { variable167 ksft_print_msg("\nclock_id: %s\n", vdso_clock_name[clock_id]); in vdso_test_clock()