Searched defs:file (Results 1 - 25 of 31) sorted by relevance

12

/seL4-test-master/projects/musllibc/src/ldso/
H A Ddlopen.c7 static void *stub_dlopen(const char *file, int mode) argument
/seL4-test-master/projects/musllibc/src/exit/
H A Dassert.c4 _Noreturn void __assert_fail(const char *expr, const char *file, int line, const char *func) argument
/seL4-test-master/projects/musllibc/src/process/
H A Dexeclp.c4 int execlp(const char *file, const char *argv0, ...) argument
H A Dexecvp.c10 int __execvpe(const char *file, char *const argv[], char *const envp[]) argument
50 int execvp(const char *file, char *const argv[]) argument
H A Dposix_spawnp.c11 int posix_spawnp(pid_t *restrict res, const char *restrict file, argument
/seL4-test-master/tools/nanopb/tests/basic_stream/
H A Dencode_stream.c12 FILE *file = (FILE*) stream->state; local
H A Ddecode_stream.c60 FILE *file = (FILE*)stream->state; local
/seL4-test-master/kernel/src/
H A Dassert.c12 _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-test-master/tools/riscv-pk/pk/
H A Dfile.h10 typedef struct file struct
H A Delf.c28 file_t* file = file_open(fn, O_RDONLY, 0); local
H A Dmmap.c15 file_t* file; member in struct:__anon679
40 static vmr_t* __vmr_alloc(uintptr_t addr, size_t length, file_t* file, argument
[all...]
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c62 __sel4_error(int sel4_error, const char *file, argument
/seL4-test-master/projects/seL4_libs/libsel4test/src/
H A Dtestutil.c74 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-test-master/tools/nanopb/examples/network_server/
H A Dserver.c37 struct dirent *file; local
/seL4-test-master/projects/util_libs/libelf/include/elf/
H A Delf32.h108 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 Delf64.h103 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-test-master/tools/seL4/elfloader-tool/src/binaries/elf/
H A Delf32.c11 elf32_checkFile(struct Elf32_Header *file) argument
[all...]
/seL4-test-master/tools/seL4/elfloader-tool/include/binaries/elf/
H A Delf64.h116 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 Delf32.h109 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-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dguest_image.c57 static int is_uImage(void *file) argument
63 static int is_zImage(void *file) argument
70 static int is_dtb(void *file) argument
77 static int is_initrd(void *file) argument
85 enum img_type image_get_type(void *file) argument
102 zImage_get_load_address(void *file, uintptr_t ram_base) argument
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_image.c24 FILE *file; member in struct:boot_guest_cookie
30 static int read_elf_headers(void *buf, vm_t *vm, FILE *file, size_t buf_size, elf_t *elf) argument
73 FILE *file = fopen(relocs_filename, "r"); local
146 load_guest_segment(vm_t *vm, seL4_Word source_offset, seL4_Word dest_addr, unsigned int segment_size, unsigned int file_size, FILE *file) argument
225 FILE *file = fopen(image_name, "r"); local
351 FILE *file = fopen(module_name, "r"); local
[all...]
/seL4-test-master/projects/util_libs/libutils/src/
H A Dzf_log.c260 static const char *filename(const char *file) argument
341 put_src(zf_log_output_ctx *const ctx, const char *const func, const char *const file, const unsigned line) argument
427 _zf_log_write_d(const char *const func, const char *const file, const unsigned line, const int lvl, const char *const tag, const char *const fmt, ...) argument
456 _zf_log_write_mem_d(const char *const func, const char *const file, const unsigned line, const int lvl, const char *const tag, const void *const d, const unsigned d_sz, const char *const fmt, ...) argument
/seL4-test-master/projects/util_libs/libelf/src/
H A Delf.c88 int elf_newFile(void *file, size_t size, elf_t *res) argument
93 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res) argument
126 int elf_check_magic(char *file) argument
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_io.c190 char *file = NULL; local
[all...]
/seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/
H A Dtest.h182 static inline test_result_t _test_fail(const char *condition, const char *file, int line) argument
189 static inline void _test_error(const char *condition, const char *file, int line) argument
196 static inline test_result_t _test_abort(const char *condition, const char *file, int line) argument

Completed in 195 milliseconds

12