Searched refs:dt_node (Results 1 – 1 of 1) sorted by relevance
802 char *dt_node, *iommu_group; in show_verbose() local842 if (dt_node = pci_get_string_property(p, PCI_FILL_DT_NODE)) in show_verbose()843 printf("\tDevice tree node: %s\n", dt_node); in show_verbose()1016 char *dt_node, *iommu_group; in show_machine() local1048 if (dt_node = pci_get_string_property(p, PCI_FILL_DT_NODE)) in show_machine()1049 printf("DTNode:\t%s\n", dt_node); in show_machine()