iort_pmsi_get_dev_id   58 drivers/irqchip/irq-gic-v3-its-platform-msi.c 		ret = iort_pmsi_get_dev_id(dev, &dev_id);
iort_pmsi_get_dev_id   34 include/linux/acpi_iort.h int iort_pmsi_get_dev_id(struct device *dev, u32 *dev_id);