Searched refs:spill_tid (Results 1 – 1 of 1) sorted by relevance
844 __kdebug_only uint64_t spill_tid = thread_tid(rt_runq_first(&starting_pset->rt_runq)); in rt_choose_next_processor_for_spill_IPI() local878 …next_rt_processor->cpu_id, pset->rt_pending_spill_cpu_mask, starting_pset->cpu_set_low, spill_tid); in rt_choose_next_processor_for_spill_IPI()