Symbol: __clocksource_select
kernel/time/clocksource.c
1085
__clocksource_select(false);
kernel/time/clocksource.c
1090
__clocksource_select(true);