Searched defs:result_ipi_type (Results 1 – 1 of 1) sorted by relevance
836 sched_ipi_type_t *result_ipi_type in rt_choose_next_processor_for_spill_IPI()918 sched_ipi_type_t *result_ipi_type) in rt_choose_next_processor_for_followup_IPI()