1 #ifndef ARM_PLAT_SCHED_CLOCK_H
2 #define ARM_PLAT_SCHED_CLOCK_H
3 
4 void versatile_sched_clock_init(void __iomem *, unsigned long);
5 
6 #endif
7