Searched refs:sched_amp_spill_deferred_ipi (Results 1 – 3 of 3) sorted by relevance
77 int sched_amp_spill_deferred_ipi = 1; variable406 if (deferred_ipi_supported && sched_amp_spill_deferred_ipi) { in sched_amp_ipi_policy()
4905 extern int sched_amp_spill_deferred_ipi;
2519 extern int sched_amp_spill_deferred_ipi;2520 SYSCTL_INT(_kern, OID_AUTO, sched_amp_spill_deferred_ipi,2522 &sched_amp_spill_deferred_ipi, 0, "");