Searched defs:init_hyp_boot_vspace (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/32/
H A Dmmu.c57 void init_hyp_boot_vspace(struct image_info *kernel_info) function
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/64/
H A Dmmu.c60 void init_hyp_boot_vspace(struct image_info *kernel_info) function

Completed in 78 milliseconds