Searched refs:image (Results 1 - 12 of 12) sorted by relevance

/seL4-test-master/projects/musllibc/src/env/
H A D__reset_tls.c12 memcpy(self->dtv[i], p->image, p->len);
H A D__init_tls.c75 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 Dreloc_arm.c47 void *image,
58 total_offs = ((unsigned long)image);
46 _relocate(unsigned long ldbase, struct Elf32_Dyn *dyn, void *image, void *systab) argument
H A Dreloc_aarch64.c47 void *image UNUSED,
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py133 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 Dmake-uimage56 object. ARCHITECTURE must be either "arm" or "arm64". The image is
/seL4-test-master/projects/musllibc/src/internal/
H A Dlibc.h16 void *image; member in struct:tls_module
/seL4-test-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
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 Denv.c63 // 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 Dbootstrap.c242 /* 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 Dbootup.tex14 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 Ddynlink.c707 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