Searched defs:ipi_to_evtchn (Results 1 – 1 of 1) sorted by relevance
373 per_cpu(ipi_to_evtchn, cpu)[ipi] = evtchn; in xen_irq_info_ipi_setup() local972 per_cpu(ipi_to_evtchn, cpu)[ipi_from_irq(info)] = 0; in __unbind_from_irq() local