class_unregister(&usb_host_class); 
class_destroy(usb_host_class); 
void usb_host_cleanup(void){	class_unregister(&usb_host_class);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8561b10f6e7ef0a085709ffc844f74130a067abe/hcd.c/clean/drivers/usb/core/hcd.c