Searched refs:phb_num (Results 1 – 1 of 1) sorted by relevance
568 int phb_num = 0; in dt_pci_devices() local585 snprintf(buf, 32, "pci@%d", phb_num); in dt_pci_devices()595 phb_num++; in dt_pci_devices()