Symbol: empb_pci_bus_maxdevs