Searched refs:result_processor (Results 1 – 1 of 1) sorted by relevance
2572 processor_t *result_processor, sched_ipi_type_t *result_ipi_type) in choose_next_rt_processor_for_IPI() argument2609 *result_processor = next_rt_processor; in choose_next_rt_processor_for_IPI()