Symbol: PCI_CONFIG_MAX_DEV