generic_sched_clock_init
static inline void generic_sched_clock_init(void) { }
void __init generic_sched_clock_init(void)