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