/bsps/arm/shared/cpucounter/
../
cpucounter-armv7m.c