quirk_io_region(dev, region, 32, PCI_BRIDGE_RESOURCES+1, "PIIX4 SMB"); 
quirk_io_region(dev, region, 16, PCI_BRIDGE_RESOURCES+1, "PIIX4 SMB"); 
static void __devinit quirk_piix4_acpi(struct pci_dev *dev){	u32 region, res_a;	pci_read_config_dword(dev, 0x40, &region);	quirk_io_region(dev, region, 64, PCI_BRIDGE_RESOURCES, "PIIX4 ACPI");	pci_read_config_dword(dev, 0x90, &region);	quirk_io_region(dev, region, 32, PCI_BRIDGE_RESOURCES+1, "PIIX4 SMB");	/* Device resource A has enables for some of the other ones */	pci_read_config_dword(dev, 0x5c, &res_a);	piix4_io_quirk(dev, "PIIX4 devres B", 0x60, 3 << 21);	piix4_io_quirk(dev, "PIIX4 devres C", 0x64, 3 << 21);	/* Device resource D is just bitfields for static resources */	/* Device 12 enabled? */	if (res_a & (1 << 29)) {		piix4_io_quirk(dev, "PIIX4 devres E", 0x68, 1 << 20);		piix4_mem_quirk(dev, "PIIX4 devres F", 0x6c, 1 << 7);	}	/* Device 13 enabled? */	if (res_a & (1 << 30)) {		piix4_io_quirk(dev, "PIIX4 devres G", 0x70, 1 << 20);		piix4_mem_quirk(dev, "PIIX4 devres H", 0x74, 1 << 7);	}	piix4_io_quirk(dev, "PIIX4 devres I", 0x78, 1 << 20);	piix4_io_quirk(dev, "PIIX4 devres J", 0x7c, 1 << 20);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/08db2a701bd63d0e36f06a29137bf016a907cf71/quirks.c/buggy/drivers/pci/quirks.c