| /seL4-refos-master/libs/libmuslc/src/ldso/ |
| H A D | dlopen.c | 7 static void *stub_dlopen(const char *file, int mode) argument
|
| /seL4-refos-master/libs/libmuslc/src/exit/ |
| H A D | assert.c | 4 _Noreturn void __assert_fail(const char *expr, const char *file, int line, const char *func) argument
|
| /seL4-refos-master/libs/libmuslc/src/process/ |
| H A D | execlp.c | 4 int execlp(const char *file, const char *argv0, ...) argument
|
| H A D | execvp.c | 10 int __execvpe(const char *file, char *const argv[], char *const envp[]) argument
50 int execvp(const char *file, char *const argv[]) argument
|
| H A D | posix_spawnp.c | 11 int posix_spawnp(pid_t *restrict res, const char *restrict file, argument
|
| /seL4-refos-master/kernel/src/ |
| H A D | assert.c | 12 _fail( const char *s, const char *file, unsigned int line, const char *function) argument
28 _assert_fail( const char *assertion, const char *file, unsigned int line, const char *function) argument
|
| /seL4-refos-master/libs/librefos/src/ |
| H A D | test.c | 30 const char *file; member in struct:test_failure_log
54 test_fail(const char *check, const char *file, const char *func, int line) argument
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | strerror.c | 62 __sel4_error(int sel4_error, const char *file, argument
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/ |
| H A D | test.c | 30 const char *file; member in struct:test_failure_log
54 test_fail(const char *check, const char *file, const char *func, int line) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | strerror.c | 62 __sel4_error(int sel4_error, const char *file, argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4test/src/ |
| H A D | testutil.c | 74 void _sel4test_report_error(const char *error, const char *file, int line) argument
84 void _sel4test_failure(const char *failure, const char *file, int line) argument
94 _sel4test_abort(const char *failure, const char *file, int line) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | [all...] |
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | [all...] |
| /seL4-refos-master/libs/libelf/include/elf/ |
| H A D | elf32.h | 108 static inline Elf32_Phdr *elf32_getProgramHeaderTable(elf_t *file) argument
187 static inline uint32_t elf32_getProgramHeaderType(elf_t *file, size_t ph) argument
192 static inline size_t elf32_getProgramHeaderOffset(elf_t *file, size_t ph) argument
197 static inline uintptr_t elf32_getProgramHeaderVaddr(elf_t *file, size_t ph) argument
202 static inline uintptr_t elf32_getProgramHeaderPaddr(elf_t *file, size_ argument
207 elf32_getProgramHeaderFileSize(elf_t *file, size_t ph) argument
212 elf32_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument
217 elf32_getProgramHeaderFlags(elf_t *file, size_t ph) argument
222 elf32_getProgramHeaderAlign(elf_t *file, size_t ph) argument
[all...] |
| H A D | elf64.h | 103 static inline uintptr_t elf64_getEntryPoint(elf_t *file) argument
108 static inline Elf64_Phdr *elf64_getProgramHeaderTable(elf_t *file) argument
113 static inline Elf64_Shdr *elf64_getSectionTable(elf_t *file) argument
118 static inline size_t elf64_getNumProgramHeaders(elf_t *file) argument
140 elf64_getSectionType(elf_t *file, size_t s) argument
145 elf64_getSectionFlags(elf_t *file, size_t s) argument
187 elf64_getProgramHeaderType(elf_t *file, size_t ph) argument
192 elf64_getProgramHeaderOffset(elf_t *file, size_t ph) argument
197 elf64_getProgramHeaderVaddr(elf_t *file, size_t ph) argument
202 elf64_getProgramHeaderPaddr(elf_t *file, size_t ph) argument
207 elf64_getProgramHeaderFileSize(elf_t *file, size_t ph) argument
212 elf64_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument
217 elf64_getProgramHeaderFlags(elf_t *file, size_t ph) argument
222 elf64_getProgramHeaderAlign(elf_t *file, size_t ph) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libelf/include/elf/ |
| H A D | elf32.h | 108 static inline Elf32_Phdr *elf32_getProgramHeaderTable(elf_t *file) argument
187 static inline uint32_t elf32_getProgramHeaderType(elf_t *file, size_t ph) argument
192 static inline size_t elf32_getProgramHeaderOffset(elf_t *file, size_t ph) argument
197 static inline uintptr_t elf32_getProgramHeaderVaddr(elf_t *file, size_t ph) argument
202 static inline uintptr_t elf32_getProgramHeaderPaddr(elf_t *file, size_ argument
207 elf32_getProgramHeaderFileSize(elf_t *file, size_t ph) argument
212 elf32_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument
217 elf32_getProgramHeaderFlags(elf_t *file, size_t ph) argument
222 elf32_getProgramHeaderAlign(elf_t *file, size_t ph) argument
[all...] |
| H A D | elf64.h | 103 static inline uintptr_t elf64_getEntryPoint(elf_t *file) argument
108 static inline Elf64_Phdr *elf64_getProgramHeaderTable(elf_t *file) argument
113 static inline Elf64_Shdr *elf64_getSectionTable(elf_t *file) argument
118 static inline size_t elf64_getNumProgramHeaders(elf_t *file) argument
140 elf64_getSectionType(elf_t *file, size_t s) argument
145 elf64_getSectionFlags(elf_t *file, size_t s) argument
187 elf64_getProgramHeaderType(elf_t *file, size_t ph) argument
192 elf64_getProgramHeaderOffset(elf_t *file, size_t ph) argument
197 elf64_getProgramHeaderVaddr(elf_t *file, size_t ph) argument
202 elf64_getProgramHeaderPaddr(elf_t *file, size_t ph) argument
207 elf64_getProgramHeaderFileSize(elf_t *file, size_t ph) argument
212 elf64_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument
217 elf64_getProgramHeaderFlags(elf_t *file, size_t ph) argument
222 elf64_getProgramHeaderAlign(elf_t *file, size_t ph) argument
[all...] |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/ |
| H A D | elf32.c | 11 elf32_checkFile(struct Elf32_Header *file) argument
[all...] |
| /seL4-refos-master/tools/elfloader/src/binaries/elf/ |
| H A D | elf32.c | 11 elf32_checkFile(struct Elf32_Header *file) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/selfloader/src/ |
| H A D | selfloader.c | 248 sl_elf_load(char *file, serv_connection_ argument
426 sl_elf_start(char *file) argument
[all...] |
| /seL4-refos-master/apps/selfloader/src/ |
| H A D | selfloader.c | 248 sl_elf_load(char *file, serv_connection_ argument
426 sl_elf_start(char *file) argument
[all...] |
| /seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
| H A D | elf64.h | 116 elf64_getSectionTable(struct Elf64_Header *file) { argument
123 elf64_getSectionType(struct Elf64_Header *file, uint16_t s) argument
129 elf64_getSectionFlags(struct Elf64_Header *file, uint16_t s) argument
151 elf64_getProgramHeaderTable(struct Elf64_Header *file) argument
159 elf64_getProgramHeaderFlags(struct Elf64_Header *file, uint16_t ph) argument
165 elf64_getProgramHeaderType(struct Elf64_Header *file, uint16_t ph) argument
171 elf64_getProgramHeaderFileSize(struct Elf64_Header *file, uint16_t ph) argument
178 elf64_getProgramHeaderMemorySize(struct Elf64_Header *file, uint16_t ph) argument
185 elf64_getProgramHeaderVaddr(struct Elf64_Header *file, uint16_t ph) argument
192 elf64_getProgramHeaderPaddr(struct Elf64_Header *file, uint16_t ph) argument
199 elf64_getProgramHeaderOffset(struct Elf64_Header *file, uint16_t ph) argument
[all...] |
| H A D | elf32.h | 109 elf32_getSectionTable(struct Elf32_Header *file) { argument
116 elf32_getSectionType(struct Elf32_Header *file, uint16_t s) argument
122 elf32_getSectionFlags(struct Elf32_Header *file, uint16_t s) argument
142 elf32_getProgramHeaderTable(struct Elf32_Header *file) argument
149 elf32_getProgramHeaderFlags(struct Elf32_Header *file, uint16_t ph) argument
155 elf32_getProgramHeaderType(struct Elf32_Header *file, uint16_t ph) argument
161 elf32_getProgramHeaderFileSize(struct Elf32_Header *file, uint16_t ph) argument
167 elf32_getProgramHeaderMemorySize(struct Elf32_Header *file, uint16_t ph) argument
173 elf32_getProgramHeaderVaddr(struct Elf32_Header *file, uint16_t ph) argument
179 elf32_getProgramHeaderPaddr(struct Elf32_Header *file, uint16_t ph) argument
185 elf32_getProgramHeaderOffset(struct Elf32_Header *file, uint16_t ph) argument
[all...] |
| /seL4-refos-master/tools/elfloader/include/binaries/elf/ |
| H A D | elf32.h | 109 elf32_getSectionTable(struct Elf32_Header *file) { argument
116 elf32_getSectionType(struct Elf32_Header *file, uint16_t s) argument
122 elf32_getSectionFlags(struct Elf32_Header *file, uint16_t s) argument
142 elf32_getProgramHeaderTable(struct Elf32_Header *file) argument
149 elf32_getProgramHeaderFlags(struct Elf32_Header *file, uint16_t ph) argument
155 elf32_getProgramHeaderType(struct Elf32_Header *file, uint16_t ph) argument
161 elf32_getProgramHeaderFileSize(struct Elf32_Header *file, uint16_t ph) argument
167 elf32_getProgramHeaderMemorySize(struct Elf32_Header *file, uint16_t ph) argument
173 elf32_getProgramHeaderVaddr(struct Elf32_Header *file, uint16_t ph) argument
179 elf32_getProgramHeaderPaddr(struct Elf32_Header *file, uint16_t ph) argument
185 elf32_getProgramHeaderOffset(struct Elf32_Header *file, uint16_t ph) argument
[all...] |
| H A D | elf64.h | 116 elf64_getSectionTable(struct Elf64_Header *file) { argument
123 elf64_getSectionType(struct Elf64_Header *file, uint16_t s) argument
129 elf64_getSectionFlags(struct Elf64_Header *file, uint16_t s) argument
151 elf64_getProgramHeaderTable(struct Elf64_Header *file) argument
159 elf64_getProgramHeaderFlags(struct Elf64_Header *file, uint16_t ph) argument
165 elf64_getProgramHeaderType(struct Elf64_Header *file, uint16_t ph) argument
171 elf64_getProgramHeaderFileSize(struct Elf64_Header *file, uint16_t ph) argument
178 elf64_getProgramHeaderMemorySize(struct Elf64_Header *file, uint16_t ph) argument
185 elf64_getProgramHeaderVaddr(struct Elf64_Header *file, uint16_t ph) argument
192 elf64_getProgramHeaderPaddr(struct Elf64_Header *file, uint16_t ph) argument
199 elf64_getProgramHeaderOffset(struct Elf64_Header *file, uint16_t ph) argument
[all...] |