/c/src/lib/libcpu/mips/timer/