input_unregister_device(&rpcmouse_dev); free_irq(IRQ_VSYNCPULSE, &rpcmouse_dev); 
free_irq(IRQ_VSYNCPULSE, rpcmouse_dev); input_unregister_device(rpcmouse_dev); 
static void __exit rpcmouse_exit(void){	input_unregister_device(&rpcmouse_dev);	free_irq(IRQ_VSYNCPULSE, &rpcmouse_dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2e5b636bb5f8dacbb91d08544e2c41ebcad5dace/rpcmouse.c/buggy/drivers/input/mouse/rpcmouse.c