Searched refs:load_address (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/tools/usbboot/ |
| H A D | usbboot.c | 153 size_t image_size, uint32_t load_address, uint32_t entry_point) {
211 printf("Sending load address = 0x%08x\n", load_address);
212 send_word(usb, load_address);
255 printf("Starting image at 0x%"PRIx32"\n", load_address);
262 load_file(const char *file, size_t *sz, uint32_t *load_address, argument
317 *load_address= phdr->p_vaddr;
331 uint32_t load_address, entry_point; local
338 image_data= load_file(argv[1], &image_size, &load_address, &entry_point);
385 r = usb_boot(usbdev, image_data, image_size, load_address,
152 usb_boot(libusb_device_handle *usb, void *image_data, size_t image_size, uint32_t load_address, uint32_t entry_point) argument
|
Completed in 76 milliseconds