/bsps/include/dev/clock/
../
arm-generic-timer.h