original_kernel/include/asm-mn10300/cputime.h