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