static int bios_handoff (struct ehci_hcd *ehci, int where, u32 cap) 
static int bios_handoff(struct ehci_hcd *ehci, int where, u32 cap) 
static int bios_handoff (struct ehci_hcd *ehci, int where, u32 cap){	struct pci_dev *pdev = to_pci_dev(ehci_to_hcd(ehci)->self.controller);	/* always say Linux will own the hardware */	pci_write_config_byte(pdev, where + 3, 1);	/* maybe wait a while for BIOS to respond */	if (cap & (1 << 16)) {		int msec = 5000;		do {			msleep(10);			msec -= 10;			pci_read_config_dword(pdev, where, &cap);		} while ((cap & (1 << 16)) && msec);		if (cap & (1 << 16)) {			ehci_err(ehci, "BIOS handoff failed (%d, %08x)\n",				where, cap);			// some BIOS versions seem buggy...			// return 1;			ehci_warn (ehci, "continuing after BIOS bug...\n");			/* disable all SMIs, and clear "BIOS owns" flag */			pci_write_config_dword(pdev, where + 4, 0);			pci_write_config_byte(pdev, where + 2, 0);		} else			ehci_dbg(ehci, "BIOS handoff succeeded\n");	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/abcc94480634f6fe9fc29b821261e8162c87ddd2/ehci-pci.c/buggy/drivers/usb/host/ehci-pci.c