static void ati_remote_disconnect(struct usb_interface *interface){	struct ati_remote *ati_remote;	down(&disconnect_sem);	ati_remote = usb_get_intfdata(interface);	usb_set_intfdata(interface, NULL);	if (!ati_remote) {		warn("%s - null device?\n", __FUNCTION__);		return;	}		ati_remote_delete(ati_remote);	up(&disconnect_sem);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05f091ab4c8c1f12f8dd38ee789489904fea327d/ati_remote.c/clean/drivers/usb/input/ati_remote.c