Searched refs:file_size (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | elf.c | 40 char *src, size_t file_size, int num_regions,
47 if (file_size > segment_size) {
48 ZF_LOGE("Error, file_size %zu > segment_size %zu", file_size, segment_size);
124 if (pos < file_size) {
125 memcpy(loader_vaddr + (dst % PAGE_SIZE_4K), (void *)src, MIN(nbytes, file_size - pos));
181 size_t file_size = elf_getProgramHeaderFileSize(elf_file, segment_index); local
184 source_addr, file_size, num_regions, regions, i);
38 load_segment(vspace_t *loadee_vspace, vspace_t *loader_vspace, vka_t *loadee_vka, vka_t *loader_vka, char *src, size_t file_size, int num_regions, sel4utils_elf_region_t regions[num_regions], int region_index) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | elf.c | 40 char *src, size_t file_size, int num_regions,
47 if (file_size > segment_size) {
48 ZF_LOGE("Error, file_size %zu > segment_size %zu", file_size, segment_size);
124 if (pos < file_size) {
125 memcpy(loader_vaddr + (dst % PAGE_SIZE_4K), (void *)src, MIN(nbytes, file_size - pos));
181 size_t file_size = elf_getProgramHeaderFileSize(elf_file, segment_index); local
184 source_addr, file_size, num_regions, regions, i);
38 load_segment(vspace_t *loadee_vspace, vspace_t *loader_vspace, vka_t *loadee_vka, vka_t *loader_vka, char *src, size_t file_size, int num_regions, sel4utils_elf_region_t regions[num_regions], int region_index) argument
|
| /seL4-refos-master/libs/libelf/src/ |
| H A D | elf.c | 379 size_t file_size = elf_getProgramHeaderFileSize(elf, ph); local
380 size_t segment_end = offset + file_size;
|
| /seL4-refos-master/projects/util_libs/libelf/src/ |
| H A D | elf.c | 379 size_t file_size = elf_getProgramHeaderFileSize(elf, ph); local
380 size_t segment_end = offset + file_size;
|
Completed in 48 milliseconds