input_unregister_device(&mk712_dev); free_irq(mk712_irq, &mk712_dev); 
input_unregister_device(mk712_dev); free_irq(mk712_irq, mk712_dev); 
static void __exit mk712_exit(void){	input_unregister_device(&mk712_dev);	free_irq(mk712_irq, &mk712_dev);	release_region(mk712_io, 8);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/eca1ed196cd5b523c1057204cd3672555ad58dfe/mk712.c/clean/drivers/input/touchscreen/mk712.c