bind_virq_to_irq
info->irq = bind_virq_to_irq(VIRQ_CONSOLE, 0, false);
irq = bind_virq_to_irq(virq, cpu, irqflags & IRQF_PERCPU);
int bind_virq_to_irq(unsigned int virq, unsigned int cpu, bool percpu);