/bsps/aarch64/shared/clock/
../
arm-generic-timer-aarch64.c