#include <kperf/kperf_kpc.h>
#include <kern/kpc.h>
+#if defined (__arm64__)
+#include <arm/cpu_data_internal.h>
+#elif defined (__arm__)
+#include <arm/cpu_data_internal.h>
+#endif
/* global for whether to read PMCs on context switch */
int kpc_threads_counting = 0;