Symbol: cdpcie_bus_maxdevs