209 xen_bind_virq(unsigned int virq, processorid_t cpu, int *port)  in xen_bind_virq()  argument
214 	bind.virq = virq;  in xen_bind_virq()
691 ec_bind_virq_to_irq(int virq, int cpu)  in ec_bind_virq_to_irq()  argument
697 	virqp = &virq_info[virq];  in ec_bind_virq_to_irq()
700 	err = xen_bind_virq(virq, cpu, &evtchn);  in ec_bind_virq_to_irq()
706 		virqp->mi_irq = alloc_irq(IRQT_VIRQ, virq, evtchn, cpu);  in ec_bind_virq_to_irq()
708 		alloc_irq_evtchn(virqp->mi_irq, virq, evtchn, cpu);  in ec_bind_virq_to_irq()
1112 virq_resume(int virq)  in virq_resume()  argument
1114 	mec_info_t *virqp = &virq_info[virq];  in virq_resume()
1124 		err = xen_bind_virq(virq, i, &evtchn);  in virq_resume()
1135 		if (virq != VIRQ_TIMER)  in virq_resume()