Searched refs:platform_checkup (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/drivers/usb/usb_manager/
H A Dplatform.h5 usb_error_t platform_checkup(uintptr_t base, int argc, char *argv[]);
H A Dusb_manager.c341 * platform_checkup just derefs argv[2], so we need to check arg count
349 if (platform_checkup(base, argc, argv) != USB_ERR_OK) {
H A Domap44xx.c585 usb_error_t platform_checkup(uintptr_t base, int argc, char *argv[]) function

Completed in 38 milliseconds