Searched defs:image (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/tools/seL4/elfloader-tool/src/binaries/efi/gnuefi/
H A Dreloc_arm.c46 _relocate(unsigned long ldbase, struct Elf32_Dyn *dyn, void *image, void *systab) argument
/seL4-camkes-master/projects/musllibc/src/internal/
H A Dlibc.h16 void *image; member in struct:tls_module
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py137 image = args.payload_filename[0] variable
/seL4-camkes-master/kernel/manual/parts/
H A Dbootup.tex
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_image.c57 int guest_elf_relocate(vm_t *vm, const char *relocs_filename, guest_kernel_image_t *image) argument
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c419 int sel4utils_bootstrap_clone_into_vspace(vspace_t *current, vspace_t *clone, reservation_t image) argument
/seL4-camkes-master/projects/sel4runtime/src/
H A Denv.c64 void *image; member in struct:__anon6::__anon8

Completed in 77 milliseconds