__target_IO_APIC_irq  350 arch/x86/kernel/io_apic_64.c 	__target_IO_APIC_irq(irq, dest, cfg->vector);
__target_IO_APIC_irq 1606 arch/x86/kernel/io_apic_64.c 		__target_IO_APIC_irq(irq, dest, cfg->vector);