Searched refs:result_ipi_type (Results 1 – 2 of 2) sorted by relevance
| /xnu-12377.41.6/osfmk/kern/ |
| H A D | sched_rt.h | 157 …t, processor_t chosen_processor, processor_t *result_processor, sched_ipi_type_t *result_ipi_type);
163 …t, processor_t chosen_processor, processor_t *result_processor, sched_ipi_type_t *result_ipi_type);
|
| H A D | sched_rt.c | 836 sched_ipi_type_t *result_ipi_type in rt_choose_next_processor_for_spill_IPI() argument
881 *result_ipi_type = sched_ipi_action(next_rt_processor, NULL, SCHED_IPI_EVENT_RT_PREEMPT); in rt_choose_next_processor_for_spill_IPI()
918 sched_ipi_type_t *result_ipi_type) in rt_choose_next_processor_for_followup_IPI() argument
924 *result_ipi_type = sched_ipi_action(next_rt_processor, NULL, SCHED_IPI_EVENT_RT_PREEMPT); in rt_choose_next_processor_for_followup_IPI()
|