/* Initialize the PCI device as required. For the ICH this turns out to be nice and simple.  */
static int init_chipset_ich(struct pci_dev *dev)
/* Initialize the PCI device as required. For the ICH this turns out to be nice and simple.  */
static int init_chipset_ich(struct pci_dev *dev)
{
	u32 extra = 0;
	pci_read_config_dword(dev, 0x54, &extra);
	pci_write_config_dword(dev, 0x54, extra | 0x400);
	return 0;
}