root
/
arch
/
arm
/
plat-versatile
/
include
/plat/
[..]
platsmp.h
sched_clock.h
[..]