Searched defs:image (Results 1 - 7 of 7) sorted by relevance
| /seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/efi/gnuefi/ |
| H A D | reloc_arm.c | 46 _relocate(unsigned long ldbase, struct Elf32_Dyn *dyn, void *image, void *systab) argument
|
| /seL4-refos-master/tools/elfloader/src/binaries/efi/gnuefi/ |
| H A D | reloc_arm.c | 46 _relocate(unsigned long ldbase, struct Elf32_Dyn *dyn, void *image, void *systab) argument
|
| /seL4-refos-master/libs/libmuslc/src/internal/ |
| H A D | libc.h | 16 void *image; member in struct:tls_module
|
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
| H A D | shoehorn.py | 137 image = args.payload_filename[0] variable
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | bootup.tex | |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 419 int sel4utils_bootstrap_clone_into_vspace(vspace_t *current, vspace_t *clone, reservation_t image) argument
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 419 int sel4utils_bootstrap_clone_into_vspace(vspace_t *current, vspace_t *clone, reservation_t image) argument
|
Completed in 73 milliseconds