void usbfs_remove_device(struct usb_device *dev) 
static void usbfs_remove_device(struct usb_device *dev) 
void usbfs_remove_device(struct usb_device *dev){	struct dev_state *ds;	struct siginfo sinfo;	if (dev->usbfs_dentry) {		fs_remove_file (dev->usbfs_dentry);		dev->usbfs_dentry = NULL;	}	while (!list_empty(&dev->filelist)) {		ds = list_entry(dev->filelist.next, struct dev_state, list);		wake_up_all(&ds->wait);		list_del_init(&ds->list);		if (ds->discsignr) {			sinfo.si_signo = SIGPIPE;			sinfo.si_errno = EPIPE;			sinfo.si_code = SI_ASYNCIO;			sinfo.si_addr = ds->disccontext;			kill_proc_info_as_uid(ds->discsignr, &sinfo, ds->disc_pid, ds->disc_uid, ds->disc_euid);		}	}	usbfs_update_special();	usbfs_conn_disc_event();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/54a5c4cd2e4ec0b27c2c3731727f52591456086c/inode.c/clean/drivers/usb/core/inode.c