Searched refs:ipi_processor (Results 1 – 1 of 1) sorted by relevance
4457 processor_t ipi_processor[SCHED_MAX_BACKUP_PROCESSORS + 1] = {}; in realtime_setrun() local4472 ipi_processor[i] = processor; in realtime_setrun()4536 ipi_processor[i] = PROCESSOR_NULL; in realtime_setrun()4537 …pset_is_locked = !choose_next_rt_processor_for_IPI(pset, chosen_processor, false, &ipi_processor[i… in realtime_setrun()4538 if (ipi_processor[i] == PROCESSOR_NULL) { in realtime_setrun()4544 ipi_processor[i]->cpu_id, ipi_processor[i]->state, backup, 1); in realtime_setrun()4548 processor_t p0 = ipi_processor[0]; in realtime_setrun()4549 processor_t p1 = ipi_processor[1]; in realtime_setrun()4569 assert(ipi_processor[i] != PROCESSOR_NULL); in realtime_setrun()4570 sched_ipi_perform(ipi_processor[i], ipi_type[i]); in realtime_setrun()