Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / arm / plat-versatile / include / plat / sched_clock.h
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