kernel-aes67/include/asm-cris/cputime.h