+/*
+ * Machine-dependent routine to inform platform layer and external
+ * CPU power management about context switches
+ */
+
+extern void machine_thread_going_on_core(thread_t new_thread,
+ int urgency,
+ uint64_t sched_latency,
+ uint64_t dispatch_time);
+
+extern void machine_thread_going_off_core(thread_t old_thread, boolean_t thread_terminating, uint64_t last_dispatch);
+
+extern void machine_max_runnable_latency(uint64_t bg_max_latency,
+ uint64_t default_max_latency,
+ uint64_t realtime_max_latency);
+
+extern void machine_work_interval_notify(thread_t thread,
+ uint64_t work_id,
+ uint64_t start_abstime,
+ uint64_t finish_abstime,
+ uint64_t deadline_abstime,
+ uint64_t next_start_abstime,
+ uint16_t urgency,
+ uint32_t flags);
+