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);