clocksource_select  791 kernel/time/clocksource.c static void clocksource_select(void)
clocksource_select  802 kernel/time/clocksource.c static inline void clocksource_select(void) { }