Searched refs:starting_pset_was_unlocked (Results 1 – 1 of 1) sorted by relevance
823 bool starting_pset_was_unlocked = false; in rt_choose_next_processor_for_spill_IPI() local841 starting_pset_was_unlocked = true; in rt_choose_next_processor_for_spill_IPI()859 if (starting_pset_was_unlocked) { in rt_choose_next_processor_for_spill_IPI()