Go to the documentation of this file. 13 #ifndef _LINUX_PPC64_H 14 #define _LINUX_PPC64_H 23 #include <sys/types.h> 24 #include <sys/ucontext.h> 38 #include <sys/times.h> 41 #define POWER_MAX_COUNTERS MAX_COUNTERS 42 #define MAX_COUNTER_TERMS MAX_COUNTERS