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