#ifndef __IA64_CPUTIME_H
#define __IA64_CPUTIME_H
#include <asm-generic/cputime.h>
#endif /* __IA64_CPUTIME_H */