| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/ |
| H A D | boot.c | 50 struct image_info user_info; variable in typeref:struct:image_info
167 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
186 ((init_riscv_kernel_t)kernel_info.virt_entry)(user_info.phys_region_start,
187 user_info.phys_region_end, user_info.phys_virt_offset,
188 user_info.virt_entry,
211 ((init_riscv_kernel_t)kernel_info.virt_entry)(user_info.phys_region_start,
212 user_info.phys_region_end, user_info.phys_virt_offset,
213 user_info
[all...] |
| /seL4-refos-master/tools/elfloader/src/arch-riscv/ |
| H A D | boot.c | 50 struct image_info user_info; variable in typeref:struct:image_info
167 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
186 ((init_riscv_kernel_t)kernel_info.virt_entry)(user_info.phys_region_start,
187 user_info.phys_region_end, user_info.phys_virt_offset,
188 user_info.virt_entry,
211 ((init_riscv_kernel_t)kernel_info.virt_entry)(user_info.phys_region_start,
212 user_info.phys_region_end, user_info.phys_virt_offset,
213 user_info
[all...] |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
| H A D | sys_boot.c | 31 struct image_info user_info; variable in typeref:struct:image_info
150 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
220 ((init_arm_kernel_t)kernel_info.virt_entry)(user_info.phys_region_start,
221 user_info.phys_region_end, user_info.phys_virt_offset,
222 user_info.virt_entry, (paddr_t)dtb, dtb_size);
|
| H A D | smp_boot.c | 55 ((init_arm_kernel_t)kernel_info.virt_entry)(user_info.phys_region_start,
56 user_info.phys_region_end, user_info.phys_virt_offset,
57 user_info.virt_entry, (paddr_t)dtb, dtb_size);
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/ |
| H A D | sys_boot.c | 31 struct image_info user_info; variable in typeref:struct:image_info
150 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
220 ((init_arm_kernel_t)kernel_info.virt_entry)(user_info.phys_region_start,
221 user_info.phys_region_end, user_info.phys_virt_offset,
222 user_info.virt_entry, (paddr_t)dtb, dtb_size);
|
| H A D | smp_boot.c | 55 ((init_arm_kernel_t)kernel_info.virt_entry)(user_info.phys_region_start,
56 user_info.phys_region_end, user_info.phys_virt_offset,
57 user_info.virt_entry, (paddr_t)dtb, dtb_size);
|
| /seL4-refos-master/seL4_tools/elfloader-tool/include/ |
| H A D | elfloader_common.h | 58 extern struct image_info user_info;
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 | 58 extern struct image_info user_info;
71 void load_images(struct image_info *kernel_info, struct image_info *user_info,
|
| /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, argument
420 next_phys_addr, &user_info[*num_images], 1, unused, "app.bin");
|
| /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, argument
420 next_phys_addr, &user_info[*num_images], 1, unused, "app.bin");
|