/bsps/powerpc/shared/btimer/
../
btimer-ppc-dec.c