HelenOS sources

uhci_transfer_batch_destroy  320 uspace/drv/bus/usb/uhci/hc.c 	uhci_transfer_batch_destroy(uhci_transfer_batch_get(batch));
uhci_transfer_batch_destroy   75 uspace/drv/bus/usb/uhci/uhci_batch.h void uhci_transfer_batch_destroy(uhci_transfer_batch_t *);