/bsps/shared/dev/cpucounter/
../
cpucounterfrequency.c
cpucounterread.c