HelenOS sources

bus_release_default_address  186 uspace/lib/usbhost/include/usb/host/bus.h void bus_release_default_address(bus_t *, device_t *);
bus_release_default_address  139 uspace/lib/usbhost/src/ddf_helpers.c 		bus_release_default_address(hcd->bus, dev);