Searched refs:load_images (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/seL4_tools/elfloader-tool/include/ |
| H A D | elfloader_common.h | 71 void load_images(struct image_info *kernel_info, struct image_info *user_info,
|
| /seL4-refos-master/tools/elfloader/include/ |
| H A D | elfloader_common.h | 71 void load_images(struct image_info *kernel_info, struct image_info *user_info,
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
| H A D | sys_boot.c | 150 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/ |
| H A D | sys_boot.c | 150 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/ |
| H A D | boot.c | 167 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
|
| /seL4-refos-master/tools/elfloader/src/arch-riscv/ |
| H A D | boot.c | 167 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/ |
| H A D | common.c | 285 void load_images(struct image_info *kernel_info, struct image_info *user_info, function
|
| /seL4-refos-master/tools/elfloader/src/ |
| H A D | common.c | 285 void load_images(struct image_info *kernel_info, struct image_info *user_info, function
|
Completed in 40 milliseconds