#include <mach/kern_return.h>
#include <mach/processor_info.h>
#include <kern/kern_types.h>
+#include <kern/thread_group.h>
+
+#include <kern/work_interval.h>
+
/*
* Machine support declarations.
extern void machine_idle(void);
+extern void machine_track_platform_idle(boolean_t);
+
+/* Signals a processor to bring it out of idle */
extern void machine_signal_idle(
processor_t processor);
+/* Signals a processor to bring it out of idle unless canceled */
+extern void machine_signal_idle_deferred(
+ processor_t processor);
+
+/* Cancels an outstanding machine_signal_idle_deferred, if this is supported */
+extern void machine_signal_idle_cancel(
+ processor_t processor);
+
extern void halt_cpu(void);
extern void halt_all_cpus(
* levels of return pc information.
*/
extern void machine_callstack(
- natural_t *buf,
+ uintptr_t *buf,
vm_size_t callstack_max);
extern void consider_machine_collect(void);
+/*
+ * 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 same_pri_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, struct kern_work_interval_args* kwi_args);
+
+
+extern void machine_perfcontrol_deadline_passed(uint64_t deadline);
+
+extern void machine_switch_perfcontrol_context(perfcontrol_event event,
+ uint64_t timestamp,
+ uint32_t flags,
+ uint64_t new_thread_same_pri_latency,
+ thread_t old,
+ thread_t new);
+
+extern void machine_switch_perfcontrol_state_update(perfcontrol_event event,
+ uint64_t timestamp,
+ uint32_t flags,
+ thread_t thread);
+
+
#endif /* _KERN_MACHINE_H_ */