Symbol: ata_pci_write_config