static void __exit sl811h_cleanup(void) { 
static void __exit sl811h_cleanup(void) { 
static void __exit sl811h_cleanup(void) {		driver_unregister(&sl811h_driver);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1e9a47b62f7daf5a94fdd74a94dd4e076f44909a/sl811-hcd.c/buggy/drivers/usb/host/sl811-hcd.c