__clocksource_select  793 kernel/time/clocksource.c 	__clocksource_select(false);
__clocksource_select  798 kernel/time/clocksource.c 	__clocksource_select(true);