void __init time_init(void) { system_timer->init(); #ifdef CONFIG_HAVE_SCHED_CLOCK sched_clock_postinit(); #endif }
void __init time_init(void) { if (machine_desc->init_time) machine_desc->init_time(); else clocksource_of_init(); sched_clock_postinit(); }
void __init time_init(void) { machine_desc->init_time(); sched_clock_postinit(); }
void __init time_init(void) { system_timer = machine_desc->timer; system_timer->init(); sched_clock_postinit(); }