Searched defs:init_boot_vspace (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/
H A Dmmu.c18 void init_boot_vspace(struct image_info *kernel_info) function
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/
H A Dmmu.c20 void init_boot_vspace(struct image_info *kernel_info) function
/seL4-refos-master/tools/elfloader/src/arch-arm/32/
H A Dmmu.c18 void init_boot_vspace(struct image_info *kernel_info) function
/seL4-refos-master/tools/elfloader/src/arch-arm/64/
H A Dmmu.c20 void init_boot_vspace(struct image_info *kernel_info) function

Completed in 29 milliseconds