Searched refs:vdso_clock_name (Results 1 – 2 of 2) sorted by relevance
34 const char *vdso_clock_name[12] = { variable82 vdso_clock_name[clk_id]); in vdso_test_clock_gettime()93 vdso_clock_name[clk_id]); in vdso_test_clock_gettime()96 vdso_clock_name[clk_id]); in vdso_test_clock_gettime()134 vdso_clock_name[clk_id]); in vdso_test_clock_getres()158 vdso_clock_name[clk_id]); in vdso_test_clock_getres()161 vdso_clock_name[clk_id]); in vdso_test_clock_getres()171 ksft_print_msg("clock_id: %s\n", vdso_clock_name[clock_id]); in vdso_test_clock()
39 const char *vdso_clock_name[12] = { variable72 printf("clock_id: %s", vdso_clock_name[clock_id]); in vdso_test_clock()