Symbol: PCI_MAX_DEVS_2