index_from_irqs   133 drivers/pci/controller/vmd.c 			  MSI_ADDR_DEST_ID(index_from_irqs(vmd, irq));
index_from_irqs   241 drivers/pci/controller/vmd.c 	index = index_from_irqs(vmd, vmdirq->irq);