Symbol: PCI_NUM_DEV_MAX