static void __exit ehci_hcd_pci_cleanup (void) 
static void __exit ehci_hcd_pci_cleanup(void) 
static void __exit ehci_hcd_pci_cleanup (void){	pci_unregister_driver (&ehci_pci_driver);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/abcc94480634f6fe9fc29b821261e8162c87ddd2/ehci-pci.c/buggy/drivers/usb/host/ehci-pci.c