struct input_dev *dev = &budget_ci->input_dev; 
struct input_dev *dev = budget_ci->input_dev; 
static void msp430_ir_deinit(struct budget_ci *budget_ci){	struct saa7146_dev *saa = budget_ci->budget.dev;	struct input_dev *dev = &budget_ci->input_dev;	saa7146_write(saa, IER, saa7146_read(saa, IER) & ~MASK_06);	saa7146_setgpio(saa, 3, SAA7146_GPIO_INPUT);	if (del_timer(&dev->timer))		input_event(dev, EV_KEY, key_map[dev->repeat_key], !!0);	input_unregister_device(dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b7df3910c1298fee8ed7b9dfd2da74b85df5539c/budget-ci.c/buggy/drivers/media/dvb/ttpci/budget-ci.c