Searched refs:sys_get_cur_clocksource (Results 1 – 3 of 3) sorted by relevance
219 char *sys_get_cur_clocksource(void);
396 char *sys_get_cur_clocksource(void) in sys_get_cur_clocksource() function
1264 char *clk_name = sys_get_cur_clocksource(); in sys_clocksource_is_based_on_tsc()