static int piix_disable_ahci(struct pci_dev *pdev){	void *mmio;	unsigned long addr;	u32 tmp;	int rc = 0;	/* BUG: pci_enable_device has not yet been called.  This	 * works because this device is usually set up by BIOS.	 */	addr = pci_resource_start(pdev, AHCI_PCI_BAR);	if (!addr || !pci_resource_len(pdev, AHCI_PCI_BAR))		return 0;		mmio = ioremap(addr, 64);	if (!mmio)		return -ENOMEM;		tmp = readl(mmio + AHCI_GLOBAL_CTL);	if (tmp & AHCI_ENABLE) {		tmp &= ~AHCI_ENABLE;		writel(tmp, mmio + AHCI_GLOBAL_CTL);		tmp = readl(mmio + AHCI_GLOBAL_CTL);		if (tmp & AHCI_ENABLE)			rc = -EIO;	}		iounmap(mmio);	return rc;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7b6dbd6872ca1d0c03dc0e0a7108d79c8dafa793/ata_piix.c/buggy/drivers/scsi/ata_piix.c