Home
last modified time | relevance | path

Searched refs:ipi_to_evtchn (Results 1 – 1 of 1) sorted by relevance

/linux-6.6.21/drivers/xen/events/
Devents_base.c168 static DEFINE_PER_CPU(evtchn_port_t [XEN_NR_IPIS], ipi_to_evtchn) = {[0 ... XEN_NR_IPIS-1] = 0};
373 per_cpu(ipi_to_evtchn, cpu)[ipi] = evtchn; in xen_irq_info_ipi_setup() local
972 per_cpu(ipi_to_evtchn, cpu)[ipi_from_irq(info)] = 0; in __unbind_from_irq() local
1643 evtchn = per_cpu(ipi_to_evtchn, cpu)[vector]; in xen_send_IPI_one()