MSI_ADDR_DEST_ID   39 arch/x86/kernel/apic/msi.c 		MSI_ADDR_DEST_ID(cfg->dest_apicid);
MSI_ADDR_DEST_ID  223 arch/x86/pci/xen.c 		MSI_ADDR_DEST_ID(pirq);
MSI_ADDR_DEST_ID  133 drivers/pci/controller/vmd.c 			  MSI_ADDR_DEST_ID(index_from_irqs(vmd, irq));