/bsps/lm32/shared/milkymist_timer/
../
timer.c