HT_IRQ_HIGH_DEST_ID 2609 arch/x86/kernel/io_apic_32.c 	msg.address_hi |= HT_IRQ_HIGH_DEST_ID(dest);
HT_IRQ_HIGH_DEST_ID 2657 arch/x86/kernel/io_apic_32.c 		msg.address_hi = HT_IRQ_HIGH_DEST_ID(dest);
HT_IRQ_HIGH_DEST_ID 2709 arch/x86/kernel/io_apic_64.c 	msg.address_hi |= HT_IRQ_HIGH_DEST_ID(dest);
HT_IRQ_HIGH_DEST_ID 2761 arch/x86/kernel/io_apic_64.c 		msg.address_hi = HT_IRQ_HIGH_DEST_ID(dest);