target_ht_irq    2627 arch/x86/kernel/io_apic_32.c 	target_ht_irq(irq, dest);
target_ht_irq    2730 arch/x86/kernel/io_apic_64.c 	target_ht_irq(irq, dest, cfg->vector);