1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef ARM_PLAT_SCHED_CLOCK_H
3 #define ARM_PLAT_SCHED_CLOCK_H
4 
5 void versatile_sched_clock_init(void __iomem *, unsigned long);
6 
7 #endif
8