input_unregister_device(&inport_dev); 
input_unregister_device(inport_dev); 
static void __exit inport_exit(void){	input_unregister_device(&inport_dev);	release_region(INPORT_BASE, INPORT_EXTENT);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2e5b636bb5f8dacbb91d08544e2c41ebcad5dace/inport.c/buggy/drivers/input/mouse/inport.c