Searched refs:ipi_info (Results 1 – 1 of 1) sorted by relevance
177 #define IRQ_IS_CPUPOKE(irq) (ipi_info[XC_CPUPOKE_PIL].mi_irq == (irq))191 static mec_info_t ipi_info[MAXIPL]; variable372 ipi_info[index].mi_evtchns[cpu] = evtchn; in alloc_irq_evtchn()436 evtchn = ipi_info[irqp->ii_u.index].mi_evtchns[CPU->cpu_id]; in irq_evtchn()725 ipip = &ipi_info[ipl]; in ec_bind_ipi_to_irq()757 mec_info_t *ipip = &ipi_info[i]; in ec_bind_cpu_ipis()795 mec_info_t *ipip = &ipi_info[ipl]; in ec_send_ipi()805 mec_info_t *ipip = &ipi_info[ipl]; in ec_try_ipi()1011 mec_info_t *ipip = &ipi_info[ipl]; in ec_wait_on_ipi()1030 if (ipi_info[i].mi_irq == INVALID_IRQ) in ec_suspend()[all …]