static void usb_mouse_disconnect(struct usb_interface *intf){	struct usb_mouse *mouse = usb_get_intfdata (intf);		usb_set_intfdata(intf, NULL);	if (mouse) {		usb_kill_urb(mouse->irq);		input_unregister_device(&mouse->dev);		usb_free_urb(mouse->irq);		usb_buffer_free(interface_to_usbdev(intf), 8, mouse->data, mouse->data_dma);		kfree(mouse);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05f091ab4c8c1f12f8dd38ee789489904fea327d/usbmouse.c/clean/drivers/usb/input/usbmouse.c