Searched defs:usb_ohci_buffer_free (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/drivers/usb/usb_manager/controller/ohci/ | ||
H A D | usb_ohci_memory.c | 264 void usb_ohci_buffer_free(usb_paddr_t buf) function |
Completed in 83 milliseconds