abyssplug and badass, asm-generic: cputime.h - cputime64