linux_dsm_epyc7002/arch/arm/plat-versatile/include/plat/sched_clock.h