class_device_destroy(input_class, 
class_device_destroy(&input_dev_class, 
static void __exit mousedev_exit(void){#ifdef CONFIG_INPUT_MOUSEDEV_PSAUX	if (psaux_registered)		misc_deregister(&psaux_mouse);#endif	class_device_destroy(input_class,			MKDEV(INPUT_MAJOR, MOUSEDEV_MINOR_BASE + MOUSEDEV_MIX));	input_unregister_handler(&mousedev_handler);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/967ca692161d8c4e894932599592af8d62c0a895/mousedev.c/clean/drivers/input/mousedev.c