input_unregister_device(&atkbd->dev); 
input_unregister_device(atkbd->dev); 
static void atkbd_disconnect(struct serio *serio){	struct atkbd *atkbd = serio_get_drvdata(serio);	atkbd_disable(atkbd);	/* make sure we don't have a command in flight */	synchronize_sched();  /* Allow atkbd_interrupt()s to complete. */	flush_scheduled_work();	device_remove_file(&serio->dev, &atkbd_attr_extra);	device_remove_file(&serio->dev, &atkbd_attr_scroll);	device_remove_file(&serio->dev, &atkbd_attr_set);	device_remove_file(&serio->dev, &atkbd_attr_softrepeat);	device_remove_file(&serio->dev, &atkbd_attr_softraw);	input_unregister_device(&atkbd->dev);	serio_close(serio);	serio_set_drvdata(serio, NULL);	kfree(atkbd);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c42f0c3dde8feb59fc87df45cadb847d5511c0a/atkbd.c/clean/drivers/input/keyboard/atkbd.c