H A D | elf.c | 165 * @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...] |