Searched refs:usb_ohci_buffer_alloc (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/drivers/usb/usb_manager/controller/ohci/
H A Dusb_ohci_memory.h27 usb_paddr_t usb_ohci_buffer_alloc(uint32_t size, uint32_t align);
H A Dusb_ohci_memory.c259 usb_paddr_t usb_ohci_buffer_alloc(uint32_t size, uint32_t align) function

Completed in 37 milliseconds