Searched refs:triggered_ipi (Results 1 – 1 of 1) sorted by relevance
406 sched_ipi_type_t triggered_ipi = sched_ipi_action(cpus[cpu_id], in impl_send_ipi() local408 sched_ipi_perform(cpus[cpu_id], triggered_ipi); in impl_send_ipi()