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

• ../
• timer-sp.h