static void usb_kbd_disconnect(struct usb_interface *intf){	struct usb_kbd *kbd = usb_get_intfdata (intf);		usb_set_intfdata(intf, NULL);	if (kbd) {		usb_kill_urb(kbd->irq);		input_unregister_device(&kbd->dev);		usb_kbd_free_mem(interface_to_usbdev(intf), kbd);		kfree(kbd);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05f091ab4c8c1f12f8dd38ee789489904fea327d/usbkbd.c/clean/drivers/usb/input/usbkbd.c