orig_clk          124 tools/testing/selftests/timers/clocksource-switch.c 	char orig_clk[512];
orig_clk          128 tools/testing/selftests/timers/clocksource-switch.c 	get_cur_clocksource(orig_clk, 512);
orig_clk          163 tools/testing/selftests/timers/clocksource-switch.c 	change_clocksource(orig_clk);