linux-brain/include/asm-x86/cputime_64.h

#ifndef __X86_64_CPUTIME_H
#define __X86_64_CPUTIME_H

#include <asm-generic/cputime.h>

#endif /* __X86_64_CPUTIME_H */