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