Searched refs:iommu_group (Results 1 – 1 of 1) sorted by relevance
802 char *dt_node, *iommu_group; in show_verbose() local906 if (iommu_group = pci_get_string_property(p, PCI_FILL_IOMMU_GROUP)) in show_verbose()907 printf("\tIOMMU group: %s\n", iommu_group); in show_verbose()938 if (iommu_group = pci_get_string_property(p, PCI_FILL_IOMMU_GROUP)) in show_verbose()939 printf(", IOMMU group %s", iommu_group); in show_verbose()1016 char *dt_node, *iommu_group; in show_machine() local1050 if (iommu_group = pci_get_string_property(p, PCI_FILL_IOMMU_GROUP)) in show_machine()1051 printf("IOMMUGroup:\t%s\n", iommu_group); in show_machine()