- __unused uint64_t work_interval_id,
- __unused uint64_t start_abstime,
- __unused uint64_t finish_abstime,
- __unused uint64_t deadline_abstime,
- __unused uint64_t next_start_abstime,
- __unused uint16_t urgency,
- __unused uint32_t flags)
+ __unused struct kern_work_interval_args* kwi_args)
+{
+}
+
+
+void machine_switch_perfcontrol_context(__unused perfcontrol_event event,
+ __unused uint64_t timestamp,
+ __unused uint32_t flags,
+ __unused uint64_t new_thread_same_pri_latency,
+ __unused thread_t old,
+ __unused thread_t new)
+{
+}
+
+void machine_switch_perfcontrol_state_update(__unused perfcontrol_event event,
+ __unused uint64_t timestamp,
+ __unused uint32_t flags,
+ __unused thread_t thread)