static void ehci_pci_stop (struct usb_hcd *hcd) 
static void ehci_pci_stop(struct usb_hcd *hcd) 
static void ehci_pci_stop (struct usb_hcd *hcd){	ehci_stop (hcd);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/abcc94480634f6fe9fc29b821261e8162c87ddd2/ehci-pci.c/buggy/drivers/usb/host/ehci-pci.c