target_ht_irq    2600 arch/x86/kernel/io_apic_32.c static void target_ht_irq(unsigned int irq, unsigned int dest)
target_ht_irq    2700 arch/x86/kernel/io_apic_64.c static void target_ht_irq(unsigned int irq, unsigned int dest, u8 vector)