sys_get_cur_clocksource
char *sys_get_cur_clocksource(void);
char *clk_name = sys_get_cur_clocksource();