Searched refs:elf64_getSectionName (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/ |
| H A D | elf64.c | 92 elf64_getSectionName(void *elfFile, int i) function
130 if (strcmp(str, elf64_getSectionName(elfFile, i)) == 0) {
251 printf("%-17.17s %-15.15s %08x %06x\n", elf64_getSectionName(elfFile, i), " " /* sections[i].sh_type
|
| H A D | elf.c | 117 : elf64_getSectionName(elfFile, i);
|
| /seL4-refos-master/tools/elfloader/src/binaries/elf/ |
| H A D | elf64.c | 92 elf64_getSectionName(void *elfFile, int i) function
130 if (strcmp(str, elf64_getSectionName(elfFile, i)) == 0) {
251 printf("%-17.17s %-15.15s %08x %06x\n", elf64_getSectionName(elfFile, i), " " /* sections[i].sh_type
|
| H A D | elf.c | 117 : elf64_getSectionName(elfFile, i);
|
| /seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
| H A D | elf64.h | 134 char * elf64_getSectionName(void *elfFile, int i);
|
| /seL4-refos-master/tools/elfloader/include/binaries/elf/ |
| H A D | elf64.h | 134 char * elf64_getSectionName(void *elfFile, int i);
|
Completed in 83 milliseconds