bind_virq_to_irq  288 drivers/tty/hvc/hvc_xen.c 	info->irq = bind_virq_to_irq(VIRQ_CONSOLE, 0, false);
bind_virq_to_irq 1071 drivers/xen/events/events_base.c 	irq = bind_virq_to_irq(virq, cpu, irqflags & IRQF_PERCPU);
bind_virq_to_irq   22 include/xen/events.h int bind_virq_to_irq(unsigned int virq, unsigned int cpu, bool percpu);