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