Searched defs:map_kernel_window (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-riscv/
H A Dboot.c64 void map_kernel_window(struct image_info *kernel_info) function
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c201 BOOT_CODE bool_t map_kernel_window( function
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c41 BOOT_CODE bool_t map_kernel_window( function
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c106 BOOT_CODE VISIBLE void map_kernel_window(void) function
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c197 BOOT_CODE void map_kernel_window(void) function
313 BOOT_CODE void map_kernel_window(void) function
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c236 BOOT_CODE void map_kernel_window(void) function

Completed in 169 milliseconds