versatile_sched_clock_init    5 arch/arm/plat-versatile/include/plat/sched_clock.h void versatile_sched_clock_init(void __iomem *, unsigned long);
versatile_sched_clock_init   35 drivers/clocksource/timer-versatile.c 		       versatile_sched_clock_init);
versatile_sched_clock_init   37 drivers/clocksource/timer-versatile.c 		       versatile_sched_clock_init);