kernel-fxtec-pro1x/arch/arm/plat-versatile/include/plat
..
clock.h
timer-sp.h