Searched refs:elf_file (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Delf.c165 * @param elf_file pointer to elf object
172 vka_t *loadee_vka, vka_t *loader_vka, elf_t *elf_file,
177 char *source_addr = elf_getProgramSegment(elf_file, segment_index);
181 size_t file_size = elf_getProgramHeaderFileSize(elf_file, segment_index);
192 static bool is_loadable_section(elf_t *elf_file, int index) argument
194 return elf_getProgramHeaderType(elf_file, index) == PT_LOAD;
197 static int count_loadable_regions(elf_t *elf_file) argument
199 int num_headers = elf_getNumProgramHeaders(elf_file);
204 if (is_loadable_section(elf_file, i)) {
211 int sel4utils_elf_num_regions(elf_t *elf_file) argument
171 load_segments(vspace_t *loadee_vspace, vspace_t *loader_vspace, vka_t *loadee_vka, vka_t *loader_vka, elf_t *elf_file, int num_regions, sel4utils_elf_region_t regions[num_regions]) argument
357 read_regions(elf_t *elf_file, size_t total_regions, sel4utils_elf_region_t regions[total_regions]) argument
423 elf_reserve_regions_in_vspace(vspace_t *loadee, elf_t *elf_file, int num_regions, sel4utils_elf_region_t regions[num_regions], int mapanywhere) argument
448 entry_point(elf_t *elf_file) argument
461 sel4utils_elf_reserve(vspace_t *loadee, elf_t *elf_file, sel4utils_elf_region_t *regions) argument
477 sel4utils_elf_load_record_regions(vspace_t *loadee, vspace_t *loader, vka_t *loadee_vka, vka_t *loader_vka, elf_t *elf_file, sel4utils_elf_region_t *regions, int mapanywhere) argument
516 sel4utils_elf_get_vsyscall(elf_t *elf_file) argument
526 sel4utils_elf_get_section(elf_t *elf_file, const char *section_name, uint64_t *section_size) argument
541 sel4utils_elf_load(vspace_t *loadee, vspace_t *loader, vka_t *loadee_vka, vka_t *loader_vka, elf_t *elf_file) argument
546 sel4utils_elf_num_phdrs(elf_t *elf_file) argument
551 sel4utils_elf_read_phdrs(elf_t *elf_file, size_t max_phdrs, Elf_Phdr *phdrs) argument
[all...]
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Delf_sift.py30 def get_memory_usage(elf_file: BinaryIO, align: bool) -> int:
33 the ELF object file `elf_file`.
37 elf = elftools.elf.elffile.ELFFile(elf_file)
71 parser.add_argument('elf_file', nargs='+', type=str,
79 for elf in args.elf_file]
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_image.c223 char elf_file[256]; local
231 ret = read_elf_headers(elf_file, vm, file, sizeof(elf_file), &kernel_elf);
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c84 Elf_Header_t *elf_file = (Elf_Header_t *)boot_module_start; local
86 if (!elf_checkFile(elf_file)) {
91 v_reg = elf_getMemoryBounds(elf_file);
92 entry = elf_file->e_entry;
141 elf_load(elf_file, boot_state.ui_info.pv_offset);
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/
H A Dmain.c417 char *elf_file = cpio_get_file(_cpio_archive, cpio_len, TESTS_APP, &elf_size); local
418 ZF_LOGF_IF(elf_file == NULL, "Error: failed to lookup ELF file");
419 int status = elf_newFile(elf_file, elf_size, &tests_elf);

Completed in 116 milliseconds