void usb_bus_put (struct usb_bus *bus) 
void usb_bus_put(struct usb_bus *bus) 
void usb_bus_put (struct usb_bus *bus){	if (bus)		class_device_put(&bus->class_dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8561b10f6e7ef0a085709ffc844f74130a067abe/hcd.c/clean/drivers/usb/core/hcd.c