/* Return the PCI bus clocking for the SC1200 chipset configuration in use. We return 0 for 33MHz 1 for 48MHz and 2 for 66Mhz  */
static int sc1200_clock(void)
/* Return the PCI bus clocking for the SC1200 chipset configuration in use. We return 0 for 33MHz 1 for 48MHz and 2 for 66Mhz  */
static int sc1200_clock(void)
{
	u8 chip_id = inb(0x903C);
	u8 silicon_rev = inb(0x903D);
	u16 pci_clock;
	if (chip_id == 0x04 && silicon_rev < SC1200_REV_B1)
		return 0;
	pci_clock = inw(0x901E);
	pci_clock >>= 8;
	pci_clock &= 0x03;
	if (pci_clock == 3)
		pci_clock = 0;
	return pci_clock;
}