HelenOS sources

usb_device_destroy_ddf   63 uspace/lib/usbdev/include/usb/dev/device.h void usb_device_destroy_ddf(ddf_dev_t *);
usb_device_destroy_ddf   73 uspace/lib/usbdev/src/driver.c 		usb_device_destroy_ddf(gen_dev);
usb_device_destroy_ddf   97 uspace/lib/usbdev/src/driver.c 	usb_device_destroy_ddf(gen_dev);
usb_device_destroy_ddf  117 uspace/lib/usbdev/src/driver.c 		usb_device_destroy_ddf(gen_dev);