Symbol: mvpcie_bus_maxdevs