linux-stable-rt/include/asm-arm26/cputime.h