input_unregister_device(&amimouse_dev); 
input_unregister_device(amimouse_dev); 
static void __exit amimouse_exit(void){        input_unregister_device(&amimouse_dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2e5b636bb5f8dacbb91d08544e2c41ebcad5dace/amimouse.c/clean/drivers/input/mouse/amimouse.c