+#ifdef PRIVATE
+/*
+ * CPU Statistics information
+ */
+struct _processor_statistics_np {
+ int32_t ps_cpuid;
+
+ uint32_t ps_csw_count;
+ uint32_t ps_preempt_count;
+ uint32_t ps_preempted_rt_count;
+ uint32_t ps_preempted_by_rt_count;
+
+ uint32_t ps_rt_sched_count;
+
+ uint32_t ps_interrupt_count;
+ uint32_t ps_ipi_count;
+ uint32_t ps_timer_pop_count;
+
+ uint64_t ps_runq_count_sum __attribute((aligned(8)));
+
+ uint32_t ps_idle_transitions;
+ uint32_t ps_quantum_timer_expirations;
+};
+
+#endif /* PRIVATE */
+
+#ifdef KERNEL_PRIVATE
+
+extern kern_return_t set_sched_stats_active(
+ boolean_t active);
+
+extern kern_return_t get_sched_statistics(
+ struct _processor_statistics_np *out,
+ uint32_t *count);
+#endif /* KERNEL_PRIVATE */
+
+