/arch/arm/plat-versatile/include/plat/

• ../
• clock.h
• timer-sp.h