HelenOS sources

usb_alternate_interfaces_deinit   71 uspace/lib/usbdev/include/usb/dev/alternate_ifaces.h void usb_alternate_interfaces_deinit(usb_alternate_interfaces_t *);
usb_alternate_interfaces_deinit  414 uspace/lib/usbdev/src/devdrv.c 		usb_alternate_interfaces_deinit(&usb_dev->alternate_interfaces);