class_destroy(input_class); 
static void __exit input_exit(void){	input_proc_exit();	unregister_chrdev(INPUT_MAJOR, "input");	class_destroy(input_class);	class_unregister(&input_dev_class);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b0fdfebb205fcbf394c3db39679a766b8fc4f07d/input.c/clean/drivers/input/input.c