Searched defs:kernel_info (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/32/
H A Dmmu.c18 void init_boot_vspace(struct image_info *kernel_info) argument
57 void init_hyp_boot_vspace(struct image_info *kernel_info) argument
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/64/
H A Dmmu.c20 void init_boot_vspace(struct image_info *kernel_info) argument
60 void init_hyp_boot_vspace(struct image_info *kernel_info) argument
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/
H A Dsys_boot.c30 struct image_info kernel_info; variable in typeref:struct:image_info
/seL4-camkes-master/tools/seL4/elfloader-tool/src/
H A Dcommon.c285 void load_images(struct image_info *kernel_info, struct image_info *user_info, argument
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-riscv/
H A Dboot.c49 struct image_info kernel_info; variable in typeref:struct:image_info
64 void map_kernel_window(struct image_info *kernel_info) argument
[all...]

Completed in 41 milliseconds