Searched refs:sections (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/
H A Delf32.c37 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
38 return (char *)elfFile + sections[elfFile->e_shstrndx].sh_offset;
61 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
66 return str_table + sections[i].sh_name;
73 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
74 return sections[i].sh_size;
80 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
81 return sections[i].sh_addr;
87 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
88 return (char *)elfFile + sections[
120 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
[all...]
H A Delf64.c76 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
77 return (char *) elfFile + sections[string_segment].sh_offset;
94 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
99 return str_table + sections[i].sh_name;
106 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
107 return sections[i].sh_size;
113 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
114 return sections[i].sh_addr;
120 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
121 return (char *)elfFile + sections[
[all...]
/seL4-refos-master/tools/elfloader/src/binaries/elf/
H A Delf32.c37 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
38 return (char *)elfFile + sections[elfFile->e_shstrndx].sh_offset;
61 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
66 return str_table + sections[i].sh_name;
73 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
74 return sections[i].sh_size;
80 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
81 return sections[i].sh_addr;
87 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
88 return (char *)elfFile + sections[
120 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); local
[all...]
H A Delf64.c76 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
77 return (char *) elfFile + sections[string_segment].sh_offset;
94 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
99 return str_table + sections[i].sh_name;
106 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
107 return sections[i].sh_size;
113 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
114 return sections[i].sh_addr;
120 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); local
121 return (char *)elfFile + sections[
[all...]
/seL4-refos-master/libs/libmuslc/
H A Dconfigure467 # unstrippable. These options force them back to debug sections (and
481 tryflag CFLAGS_AUTO -ffunction-sections
482 tryflag CFLAGS_AUTO -fdata-sections
569 tryldflag LDFLAGS_AUTO -Wl,--gc-sections
/seL4-refos-master/kernel/manual/parts/
H A Dvspace.tex194 Mappings for sections and super sections consume 16 slots in the page table and page directory
H A Dobjects.tex338 memory management in general in the following sections.
361 itself, including the code, data, and stack sections (seL4 is a single
/seL4-refos-master/projects/refos/design/
H A Dprotocol.tex388 --- [ label = "After all sections have been mapped:"];
448 An archived file server dataspace assumes that there is a char* storing the file data somewhere in the process server's address space. In \refOS, this comes from a cpio format archive linked into the process's ELF sections.

Completed in 102 milliseconds