Searched refs:image (Results 1 - 12 of 12) sorted by relevance
/seL4-test-master/projects/musllibc/src/env/ |
H A D | __reset_tls.c | 12 memcpy(self->dtv[i], p->image, p->len);
|
H A D | __init_tls.c | 75 memcpy(dtv[i], p->image, p->len); 86 memcpy(dtv[i], p->image, p->len); 122 main_tls.image = (void *)(base + tls_phdr->p_vaddr); 130 main_tls.size += (-main_tls.size - (uintptr_t)main_tls.image)
|
/seL4-test-master/tools/seL4/elfloader-tool/src/binaries/efi/gnuefi/ |
H A D | reloc_arm.c | 47 void *image, 58 total_offs = ((unsigned long)image); 46 _relocate(unsigned long ldbase, struct Elf32_Dyn *dyn, void *image, void *systab) argument
|
H A D | reloc_aarch64.c | 47 void *image UNUSED,
|
/seL4-test-master/tools/seL4/cmake-tool/helpers/ |
H A D | shoehorn.py | 133 help='ELF-loader image file (e.g., archive.o)') 137 image = args.payload_filename[0] variable 138 image_size = os.path.getsize(image) 146 with libarchive.memory_reader(get_cpio(image)) as archive: 218 die('ELF-loader image "{image}" of size 0x{size:x} does not fit within' 220 .format(image=image, size=image_size, yaml=platform), status=1)
|
H A D | make-uimage | 56 object. ARCHITECTURE must be either "arm" or "arm64". The image is
|
/seL4-test-master/projects/musllibc/src/internal/ |
H A D | libc.h | 16 void *image; member in struct:tls_module
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | guest_image.c | 57 int guest_elf_relocate(vm_t *vm, const char *relocs_filename, guest_kernel_image_t *image) argument 59 int delta = image->kernel_image_arch.relocation_offset; 65 uintptr_t load_addr = image->kernel_image_arch.link_paddr; 115 assert(vaddr >= (uint32_t)image->kernel_image_arch.link_vaddr); 116 uintptr_t guest_paddr = (uintptr_t)vaddr - (uintptr_t)image->kernel_image_arch.link_vaddr +
|
/seL4-test-master/projects/sel4runtime/src/ |
H A D | env.c | 63 // The location of the initial image in memory. 64 void *image; member in struct:__anon6::__anon8 65 // The size of the initial image in memory. 344 env.tls.image = (void *) header->p_vaddr; 368 __sel4runtime_memcpy(tls, env.tls.image, env.tls.image_size); 427 env.tls.image = SEL4RUNTIME_NULL;
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 242 /* this is the scope of the virtual memory used by the image, including 419 int sel4utils_bootstrap_clone_into_vspace(vspace_t *current, vspace_t *clone, reservation_t image) argument 421 sel4utils_res_t *res = reservation_to_res(image); 439 error = vspace_new_pages_at_vaddr(clone, (void *) page, 1, seL4_PageBits, image);
|
/seL4-test-master/kernel/manual/parts/ |
H A D | bootup.tex | 14 consisting of frames that contain the userland image (code/data of the initial 71 bootstrapping. Their exact contents depend on the userland image size, 105 \texttt{seL4\_SlotRegion} & \texttt{userImageFrames} & frames containing the userland image \\ 106 \texttt{seL4\_SlotRegion} & \texttt{userImagePaging} & userland-image paging structure caps \\ 147 userland image and so on.
|
/seL4-test-master/projects/musllibc/ldso/ |
H A D | dynlink.c | 707 if (dso->tls.size) dso->tls.image = laddr(dso, tls_image); 1025 if (runtime && temp_dso.tls.image) { 1047 if (p->tls.image) { 1052 -(tls_offset + (uintptr_t)p->tls.image) ); 1056 tls_offset -= (tls_offset + (uintptr_t)p->tls.image) 1295 mem += ((uintptr_t)p->tls.image - (uintptr_t)mem) 1298 memcpy(mem, p->tls.image, p->tls.len); 1453 if (app.tls.size) app.tls.image = laddr(&app, tls_image); 1528 + ( -((uintptr_t)app.tls.image + app.tls.size) 1532 + ( -((uintptr_t)app.tls.image [all...] |
Completed in 69 milliseconds