Symbol: TOPO_PCIE_PCI_BUS_RANGE