+typedef struct {
+ uint64_t total_user_time;
+ uint64_t total_system_time;
+ uint64_t task_interrupt_wakeups;
+ uint64_t task_platform_idle_wakeups;
+ uint64_t task_timer_wakeups_bin_1;
+ uint64_t task_timer_wakeups_bin_2;
+ uint64_t total_ptime;
+ uint64_t total_pset_switches;
+ uint64_t task_gpu_ns;
+ uint64_t task_energy;
+} expired_task_statistics_t;
+
+extern expired_task_statistics_t dead_task_statistics;
+
+extern kern_return_t host_set_special_port(host_priv_t host_priv, int id, ipc_port_t port);
+extern kern_return_t host_get_special_port(host_priv_t host_priv,
+ __unused int node, int id, ipc_port_t * portp);
+
+#endif /* MACH_KERNEL_PRIVATE */