original_kernel/include/asm-frv/cputime.h