 usbfs_update_special(); usbfs_conn_disc_event(); 
void usbfs_remove_bus(struct usb_bus *bus){	if (bus->usbfs_dentry) {		fs_remove_file (bus->usbfs_dentry);		bus->usbfs_dentry = NULL;	}	--num_buses;	if (num_buses <= 0) {		remove_special_files();		num_buses = 0;	}	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