Searched refs:ipi_to_irq (Results 1 – 1 of 1) sorted by relevance
161 static DEFINE_PER_CPU(int [XEN_NR_IPIS], ipi_to_irq) = {[0 ... XEN_NR_IPIS-1] = -1};327 per_cpu(ipi_to_irq, cpu)[ipi] = irq; in xen_irq_info_ipi_setup() local939 per_cpu(ipi_to_irq, cpu)[ipi_from_irq(irq)] = -1; in __unbind_from_irq() local1205 irq = per_cpu(ipi_to_irq, cpu)[ipi]; in bind_ipi_to_irq()1581 irq = per_cpu(ipi_to_irq, cpu)[vector]; in xen_send_IPI_one()1943 if ((irq = per_cpu(ipi_to_irq, cpu)[ipi]) == -1) in restore_cpu_ipis()