pci_user_write_config_  242 drivers/pci/access.c int pci_user_write_config_##size					\
pci_user_write_config_  256 drivers/pci/access.c EXPORT_SYMBOL_GPL(pci_user_write_config_##size);