Searched refs:next_rt_processor (Results 1 – 1 of 1) sorted by relevance
2239 processor_t next_rt_processor = PROCESSOR_NULL; in choose_next_rt_processor_for_IPI() local2248 …next_rt_processor = choose_next_processor_for_realtime_thread(pset, max_pri, earliest_deadline, ch… in choose_next_rt_processor_for_IPI()2249 if (next_rt_processor == PROCESSOR_NULL) { in choose_next_rt_processor_for_IPI()2260 } while (next_rt_processor == PROCESSOR_NULL); in choose_next_rt_processor_for_IPI()2261 if (next_rt_processor) { in choose_next_rt_processor_for_IPI()2263 if (bit_set_if_clear(pset->rt_pending_spill_cpu_mask, next_rt_processor->cpu_id)) { in choose_next_rt_processor_for_IPI()2265 …next_rt_processor->cpu_id, pset->rt_pending_spill_cpu_mask, starting_pset->cpu_set_low, (uintptr_t… in choose_next_rt_processor_for_IPI()2268 *result_ipi_type = sched_ipi_action(next_rt_processor, NULL, SCHED_IPI_EVENT_RT_PREEMPT); in choose_next_rt_processor_for_IPI()2269 *result_processor = next_rt_processor; in choose_next_rt_processor_for_IPI()2364 processor_t next_rt_processor = PROCESSOR_NULL; in thread_select() local[all …]