{ 
{ 
static void itmtouch_disconnect(struct usb_interface *intf){		struct itmtouch_dev *itmtouch = usb_get_intfdata(intf);	usb_set_intfdata(intf, NULL);	if (itmtouch) {		input_unregister_device(&itmtouch->inputdev);		usb_kill_urb(itmtouch->readurb);		usb_free_urb(itmtouch->readurb);		kfree(itmtouch);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05f091ab4c8c1f12f8dd38ee789489904fea327d/itmtouch.c/buggy/drivers/usb/input/itmtouch.c