#include <kern/kpc.h> /* KPC_MAX_COUNTERS */
#endif
+void kperf_kpc_thread_ast(thread_t thread);
+
/* KPC sample data */
struct kpcdata
{
uint64_t configv[KPC_MAX_COUNTERS];
};
-
-void kperf_kpc_cpu_sample( struct kpcdata *, int );
-void kperf_kpc_cpu_log( struct kpcdata * );
+void kperf_kpc_thread_sample(struct kpcdata *, int);
+void kperf_kpc_cpu_sample(struct kpcdata *, int);
+void kperf_kpc_thread_log(const struct kpcdata *);
+void kperf_kpc_cpu_log(const struct kpcdata *);
#endif /* __KPERF_KPC_H__ */