Searched refs:clk_name (Results 1 – 2 of 2) sorted by relevance
418 char *clk_name; in sys_get_cur_clocksource() local428 clk_name = malloc(st.st_size); in sys_get_cur_clocksource()429 TEST_ASSERT(clk_name, "failed to allocate buffer to read file"); in sys_get_cur_clocksource()431 TEST_ASSERT(fgets(clk_name, st.st_size, fp), "failed to read clocksource file: %d", in sys_get_cur_clocksource()436 return clk_name; in sys_get_cur_clocksource()
1276 char *clk_name = sys_get_cur_clocksource(); in sys_clocksource_is_based_on_tsc() local1277 bool ret = !strcmp(clk_name, "tsc\n") || in sys_clocksource_is_based_on_tsc()1278 !strcmp(clk_name, "hyperv_clocksource_tsc_page\n"); in sys_clocksource_is_based_on_tsc()1280 free(clk_name); in sys_clocksource_is_based_on_tsc()
Completed in 9 milliseconds