Searched refs:load_file (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/tools/fastmodels/ |
| H A D | test_mkmb.c | 33 load_file(const char *path, size_t *length) { function
71 void *mb_data= load_file(infile, &mb_len);
|
| H A D | main.c | 37 load_file(const char *path, size_t *length, size_t *alloc) { function
83 comp->image= load_file(path, &comp->image_size, &comp->alloc_size);
618 (char *)load_file(config_path, &config_size, &config_alloc);
814 void *shim_raw= load_file(shim_path, &shim_size, &shim_raw_alloc);
|
| /barrelfish-master/tools/usbboot/ |
| H A D | usbboot.c | 262 load_file(const char *file, size_t *sz, uint32_t *load_address, function
338 image_data= load_file(argv[1], &image_size, &load_address, &entry_point);
|
Completed in 88 milliseconds