Searched refs:load_from_usb (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/tools/usbboot/ | ||
| H A D | aboot.c | 42 int load_from_usb(u32 *_len, u32 *_addr, u32 *_entry) function 123 n = load_from_usb(&len, &addr, &entry); |
Completed in 48 milliseconds