Symbol: versatile_sched_clock_init
drivers/clocksource/timer-versatile.c
38
versatile_sched_clock_init);
drivers/clocksource/timer-versatile.c
40
versatile_sched_clock_init);